Systems and Software Verification: Model-Checking Techniques and Tools by Berard

Systems and Software Verification: Model-Checking Techniques and Tools by B. Ber

Systems and Software Verification: Model-Checking Techniques and Tools

Safety Instrumented System Design: Techniques and Design Verification

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

Embedded Systems Design: An Introduction to Processes, Tools, and Techniques by

Challenges of Software Verification, Hardcover by Arceri, Vincenzo (EDT); Cor...

Berard - Systems and Software Verification Model-Checking Techniques - X555z