Verification and Validation of Modern Software-Intensive Systems

Modeling and Verification of Real-time Systems: Formalisms and Software Tools b

Modeling and Verification of Real-time Systems: Formalisms and Software Tools by

Verification and Validation of Modern Software-Intensive Systems

Systems and Software Verification: Model-Checking Technique

Systems and Software Verification: Model-Checking Techniques and Tools Berard, B

Verification and Evaluation of Computer and Communication Systems : 14th Inte...

Compositional Verification of Concurrent and Real-Time Systems, Hardcover by ...