An empirical investigation of the effectiveness of systems modeling and verification tools.
Anand JeyarajVicki L. SauterPublished in: Commun. ACM (2007)
Keyphrases
- formal methods
- building blocks
- software tools
- management system
- automated verification
- asynchronous circuits
- computer systems
- face verification
- mathematical models
- complex systems
- user oriented evaluation
- simulation tools
- design tools
- learning environment
- learning systems
- knowledge based systems
- intelligent systems
- decision support
- distributed systems
- expert systems