A realistic involvement of formal methods.
Didier BégayAntoine RauzyPublished in: Softw. Pract. Exp. (2001)
Keyphrases
- formal methods
- formal analysis
- model checking
- provably correct
- process algebra
- safety critical
- model checker
- knowledge based systems
- artificial intelligence
- formal specification
- temporal properties
- formal specification language
- modeling language
- software engineering
- information systems
- security properties
- data model
- reactive systems
- real world
- development lifecycle