An Integrated Methodology for the Specification, Verification and Testing of Systems.

Published in: Softw. Test. Verification Reliab. (1993)

Keyphrases

formal methods
asynchronous circuits
formal verification
management system
model checking
information retrieval
artificial intelligence
knowledge base
database systems
digital libraries
distributed systems
knowledge based systems
specification language
formal languages
statistical machine learning