Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Systems and Software Verification
Best Price:
Buy Systems and Software Verification for $119.00 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$119.00 | $119.00 |
|
$119.00 | See Site | In stock | Visit Store |
Product Details
Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. This book provides a basic introduction to this new technique. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms. The second part explains how to write rich and structured temporal logic specifications in practice, while the third part surveys some of the major model checkers available.
Reviews
Questions & Answers
Intelligent and Cloud Computing
$189.00
Network Analysis for Management Decisions
$129.00
Strategy and Structure of Japanese Enterprises
$39.99
Herrschergestalten in Israel
$69.99
Quadri-syllabic Schematic Idioms in Chinese: Description and Acquisition
$149.00
China and the People's Liberation Army
$54.99
Climate Change Adaptation in the Adriatic Coastal Areas
$159.99
Ancient Water Technologies
$149.00
Neurocognitive Learning Therapy: Theory and Practice
$89.99
ber die Konstitution und Konfiguration von Verbindungen hherer Ordnung
$49.99
Modeling Groundwater Flow and Contaminant Transport
$84.99
Singular Loci of Schubert Varieties
$159.99
Modern Slovak Prose
$109.99
Sozialmedizin Sozialrecht Gesundheitskonomie
$54.99
Global Commodity Governance
$54.99
Art-Based Social Enterprise, Young Creatives and the Forces of Marginalisation
$49.99
Bounce Back: No Such Thing as Perfect
$11.24
Landtagswahlkmpfe
$64.99
We Are Expecting You! (Hardcover)
$9.74
Mechanics of Creep Brittle Materials 1
$84.99
Publikumskonzeptionen und Medienwirkungsmodelle politischer Kommunikationsforschung
$49.99
Wilhelm Raabe
$59.99
Fennoscandian Tundra Ecosystems
$84.99
Quantenhafte Ausstrahlung
$84.99
Studies in Medieval and Modern German History
$39.99
The Political Culture of East Asia
$129.99
Advanced Data Mining and Applications
$89.99
Histological Typing of Tumours of the Central Nervous System
$109.99
Fundamentals of Mass Spectrometry
$199.99
Emergency General Surgery
$199.99
The Promise of Participation
$54.99
South AfricaChina Relations
$139.99
Radiology: The Oral Boards Primer
$129.00
Agent Communication
$54.99
Fundamental Approaches to Software Engineering
$39.99
Chemisches Praktikum fr Mediziner
$69.95
Duality Theories for Boolean Algebras with Operators
$54.99
Genetic and Evolutionary Computing
$169.99
E-Health: Datenschutz und Datensicherheit
$39.99
Real-Time Software Design
$39.99
