On the Integration of Formal Methods: Events and Scenarios in PVS and VDM.
Georg DroschlPublished in: IWFM (1999)
Keyphrases
- formal methods
- formal analysis
- safety critical
- model checking
- knowledge based systems
- process algebra
- model checker
- artificial intelligence
- abnormal situations
- provably correct
- formal specification
- software engineering
- event detection
- modeling language
- timed automata
- theorem proving
- e learning
- development lifecycle
- formal specification language
- temporal properties
- knowledge base
- databases