Industrial Practice in Formal Methods: A Review.
Juan BicarreguiJohn S. FitzgeraldPeter Gorm LarsenJ. C. P. WoodcockPublished in: FM (2009)
Keyphrases
- natural language
- formal methods
- formal analysis
- safety critical
- knowledge based systems
- model checker
- model checking
- industrial applications
- process algebra
- machine learning
- formal specification
- artificial intelligence
- software engineering
- provably correct
- temporal properties
- reactive systems
- formal specification language
- real world