Integrating Physical Systems in the Static Analysis of Embedded Control Software.
Patrick CousotPublished in: APLAS (2005)
Keyphrases
- control software
- static analysis
- physical systems
- dynamic analysis
- complex systems
- qualitative and quantitative
- control system
- source code
- symbolic execution
- regular expressions
- model based diagnosis
- causal models
- abstract interpretation
- qualitative models
- reasoning about physical systems
- test suite
- integrity constraints
- databases
- dynamic systems
- object oriented
- mobile robot
- search space
- relational databases