A Multi-Agent Architecture for Automated Product Technical Specifications Verification in CAD Environments.
Soumaya CherkaouiAlain DesrochersDounia HabhoubaPublished in: Trans. SDPS (2003)
Keyphrases
- automated verification
- concurrent systems
- computer aided
- formal verification
- semi automated
- bounded model checking
- model checking
- product development process
- model checker
- dynamic environments
- product development
- computer aided design
- product design
- wide variety
- control flow
- data sets
- high level
- asynchronous circuits
- formal specification
- fully automated
- life cycle
- computer assisted
- design process
- computer graphics
- product quality
- production planning
- product information
- object oriented
- automated tools
- real world