Preface of the special issue on the conference on formal methods in computer aided design 2018.
Nikolaj BjørnerArie GurfinkelPublished in: Formal Methods Syst. Des. (2021)
Keyphrases
- special issue
- formal methods
- computer aided design
- computer aided
- solid models
- selected papers
- reverse engineering
- international workshop
- object oriented
- formal specification
- artificial intelligence
- cad cam
- computer graphics
- model checking
- safety critical
- international journal
- ecml pkdd
- process planning
- applied intelligence
- ai edam
- design process
- knowledge based systems
- cad model
- software engineering
- computer assisted
- relational databases
- computer science
- natural language
- image processing
- knowledge base
- computer vision
- machine learning
- development lifecycle