Formal methods and tools for industrial critical systems.
Maurice H. ter BeekKim G. LarsenDejan NickovicTim A. C. WillemsePublished in: Int. J. Softw. Tools Technol. Transf. (2022)
Keyphrases
- formal methods
- safety critical
- model checking
- process algebra
- artificial intelligence
- knowledge based systems
- formal analysis
- model checker
- formal specification
- reactive systems
- software engineering
- building blocks
- complex systems
- learning systems
- modeling language
- databases
- relational databases
- high level
- real world