Are Today's Verification Tools Able to Handle Current Design Challenges?

Rich Faris Ken Larsen Harry Foster Stuart Swan

Published in: ICCD (2005)

Keyphrases

neural network
design principles
design tools
design decisions
formal methods
engineering design
lessons learned
design patterns
design process
interactive systems
database
software architecture
building blocks
knowledge based systems
case study
information systems
current status