New Opportunities for Integrated Formal Methods.
Mario GleirscherSimon FosterJim WoodcockPublished in: ACM Comput. Surv. (2020)
Keyphrases
- formal methods
- formal analysis
- model checking
- provably correct
- knowledge based systems
- model checker
- safety critical
- formal specification
- temporal properties
- process algebra
- artificial intelligence
- development lifecycle
- reactive systems
- software engineering
- formal verification
- modeling language
- distributed systems
- data mining
- databases