The 2020 Expert Survey on Formal Methods.
Hubert GaravelMaurice H. ter BeekJaco van de PolPublished in: FMICS (2020)
Keyphrases
- formal methods
- model checking
- safety critical
- formal analysis
- formal specification
- process algebra
- software engineering
- knowledge based systems
- temporal properties
- artificial intelligence
- model checker
- provably correct
- development lifecycle
- formal specification language
- database
- reverse engineering
- life cycle
- relational databases
- machine learning