Preface for the formal methods in system design special issue on 'Formal Methods 2021'.
Marieke HuismanCorina S. PasareanuNaijun ZhanPublished in: Formal Methods Syst. Des. (2022)
Keyphrases
- formal methods
- special issue
- formal analysis
- knowledge based systems
- safety critical
- formal specification
- artificial intelligence
- model checker
- model checking
- process algebra
- ecml pkdd
- international journal
- ai edam
- design process
- software engineering
- development lifecycle
- modeling language
- special section
- reactive systems
- formal specification language
- machine learning
- case study
- databases