Systems and Software Verification: Model-Checking Technique

SOUND SYSTEMS: DESIGN AND OPTIMIZATION: MODERN TECHNIQUES AND TOOLS... Bob Mccar

Systems and Software Verification : Model-Checking Techniques and Tools, Hard...

Sound Systems: Design and Optimization: Modern Techniques and Tools for Soun...

Systems and Software Verification : Model-Checking Techniques and Tools, Hard...

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

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

Formal Verification of Control System Software, Hardcover by Garoche, Pierre-...