Login / Signup
A Multi-Agent Architecture for Automated Product Technical Specifications Verification in CAD Environments.
Soumaya Cherkaoui
Alain Desrochers
Dounia Habhouba
Published 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