Preface for the formal methods in system design special issue on SYNT 2021.
Elizabeth PolgreenGuillermo Alberto PérezPublished in: Formal Methods Syst. Des. (2022)
Keyphrases
- special issue
- formal methods
- ai edam
- international journal
- knowledge based systems
- applied intelligence
- software engineering
- development lifecycle
- artificial intelligence
- ecml pkdd
- model checking
- formal specification language
- safety critical
- special section
- software architecture
- case study
- formal analysis
- hybrid learning
- life cycle
- design process