Invisible formal methods for embedded control systems.
Ashish TiwariNatarajan ShankarJohn M. RushbyPublished in: Proc. IEEE (2003)
Keyphrases
- formal methods
- control system
- formal analysis
- knowledge based systems
- safety critical
- model checking
- model checker
- artificial intelligence
- software engineering
- formal specification
- temporal properties
- embedded systems
- provably correct
- process algebra
- databases
- formal verification
- expert systems
- formal specification language
- building blocks
- reactive systems
- real world
- database
- industrial automation