Formal Methods and Prototyping.
LuqiPublished in: Requirements Targeting Software and Systems Engineering (1997)
Keyphrases
- formal methods
- model checking
- formal analysis
- formal specification
- development process
- model checker
- software engineering
- knowledge based systems
- provably correct
- safety critical
- rapid prototyping
- artificial intelligence
- process algebra
- temporal properties
- database systems
- case study
- databases
- development lifecycle
- knowledge acquisition
- machine learning