Formal Methods for Extensions to CAS.
Martin DunstanTom KelseyUrsula MartinSteve LintonPublished in: World Congress on Formal Methods (1999)
Keyphrases
- formal methods
- formal analysis
- artificial intelligence
- model checking
- process algebra
- safety critical
- formal specification
- provably correct
- model checker
- knowledge based systems
- temporal properties
- software engineering
- machine learning
- development lifecycle
- reactive systems
- database systems
- real world
- modeling language
- default logic
- cooperative
- web services