Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023
Published in: FMCAD (2023)
Keyphrases
- computer aided design
- formal methods
- computer aided
- object oriented
- solid models
- formal analysis
- reverse engineering
- cad cam
- process planning
- model checking
- software engineering
- safety critical
- formal specification
- knowledge based systems
- model checker
- artificial intelligence
- computer graphics
- cad model
- process algebra
- design automation
- finite element analysis
- cad systems
- design process
- development lifecycle
- formal specification language
- knowledge acquisition
- viewpoint
- design patterns
- computer assisted
- expert systems
- three dimensional
- information systems
- databases
- database