Using a Mix of Languages in Formal Methods: The PET System.
Elsa L. GunterDoron A. PeledPublished in: PDPTA (2000)
Keyphrases
- formal methods
- safety critical
- formal analysis
- model checking
- knowledge based systems
- model checker
- formal specification
- expressive power
- artificial intelligence
- software engineering
- image reconstruction
- temporal properties
- process algebra
- provably correct
- databases
- formal specification language
- reactive systems
- relational databases
- security properties
- building blocks
- object oriented
- machine learning