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 (Coupon Required):
Buy Systems and Software Verification for $107.10 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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 |
|
10% OFF
This deals requires coupon
|
$107.10 | 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
Investigation and Management of Disease in Wild Animals
$74.99
Agricultural Heritage Systems in Europe, Asia, Africa, Central and South America
$119.99
Pulsed Electrical Discharges for Medicine and Biology
$84.99
Neurosurgical Applications of Transcranial Doppler Sonography
$54.99
Managing and Developing Communities, Festivals and Events
$169.99
Britain and UN Peacekeeping
$109.99
Security, Privacy, and Anonymity in Computation, Communication, and Storage
$109.99
Jordanian Exceptionalism
$54.99
Grne Wahrheiten
$19.99
Handbook of Depression in Children and Adolescents
$329.00
Machine Learning and Mechanics Based Soft Computing Applications
$129.00
Zur Dynamik regionaler Arbeits- und Investitionsmrkte
$59.99
International Scientific Conference Energy Management of Municipal Facilities and Sustainable Energy
$219.99
Ready-To-Go 300 Book Classroom Library, Grade 4
$1,455.00
Water Policy and Governance in Canada
$169.99
NATO and the War in Ukraine
$139.99
Understanding Insulin Action
$169.00
Zoologica Poetica
$19.99
Enterprise Information Systems of the Future
$39.99
Man-Machine Interactions 5
$219.99
Non-linear Data Analysis on the Sphere
$109.99
Probability Theory and Mathematical Statistics
$44.99
Projektmanagement mit System
$64.99
Aspects of Risk Theory
$54.99
'The Bird Who Sang the Trisagion' of Isaac of Antioch
$44.99
ICT for Intelligent Systems
$189.00
Citizenship, Belonging and Intergenerational Relations in African Migration
$54.99
Achieving the Sustainable Development Goals Through Sustainable Food Systems
$89.00
The Hyper(in)visible Fat Woman
$64.99
The Covid-19 Pandemic
$109.99
Fertility Control Update and Trends
$84.99
Special Techniques in Internal Fixation
$84.99
Satellite Remote Sensing
$149.00
Generationenmanagement in Unternehmen
$64.99
ber Relaxatio diaphragmatica (Eventratio diaphragmatica)
$44.99
Kundenbindung in jungen, innovativen Unternehmen
$69.99
Topological Insulators
$139.00
Artificial Intelligence: Methodology, Systems, and Applications
$39.99
Jacobi Matrices and the Moment Problem
$169.99
Mobile Radio Communications and Networks
$219.99
