Integrating Physical Systems in the Static Analysis of Embedded Control Software
- 1 January 2005
- book chapter
- Published by Springer Nature
- p. 135-138
- https://doi.org/10.1007/11575467_10
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Industrial Experience of Abstract Interpretation-Based Static AnalyzersPublished by Springer Nature ,2008
- Airbus Fly-By-Wire: A Total Approach To DependabilityPublished by Springer Nature ,2008
- The ASTREÉ AnalyzerPublished by Springer Nature ,2005
- Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite ProgrammingPublished by Springer Nature ,2005
- Basic Concepts of Abstract InterpretationPublished by Springer Nature ,2004
- A static analyzer for large safety-critical softwarePublished by Association for Computing Machinery (ACM) ,2003
- Partial Completeness of Abstract Fixpoint CheckingPublished by Springer Nature ,2000
- Types as abstract interpretationsPublished by Association for Computing Machinery (ACM) ,1997
- Static determination of dynamic properties of generalized type unionsACM SIGPLAN Notices, 1977