Skip to main content
Conference Proceedings

Integrating physical systems in the static analysis of embedded control software

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2005) 3780 LNCS 135-138
DOI: 10.1007/11575467_10
16Citations
Citations of this article
5Readers
Mendeley users who have this article in their library.
Get full text

Abstract

interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, modelling program executions, hence program properties, at various levels of abstraction [3,7,8,10,12]. © Springer-Verlag Berlin Heidelberg 2005.

Cite

CITATION STYLE

APA

Cousot, P. (2005). Integrating physical systems in the static analysis of embedded control software. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3780 LNCS, pp. 135–138). https://doi.org/10.1007/11575467_10

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free