0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R2,500 - R5,000 (2)
  • -
Status
Brand

Showing 1 - 2 of 2 matches in All Departments

Systems and Software Verification - Model-Checking Techniques and Tools (Hardcover, 2001 ed.): B. Berard Systems and Software Verification - Model-Checking Techniques and Tools (Hardcover, 2001 ed.)
B. Berard; Translated by P. McKenzie; M. Bidoit, A. Finkel, F. Laroussinie, …
R3,982 Discovery Miles 39 820 Ships in 12 - 17 working days

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.

Systems and Software Verification - Model-Checking Techniques and Tools (Paperback, Softcover reprint of hardcover 1st ed.... Systems and Software Verification - Model-Checking Techniques and Tools (Paperback, Softcover reprint of hardcover 1st ed. 2001)
B. Berard; Translated by P. McKenzie; M. Bidoit, A. Finkel, F. Laroussinie, …
R3,988 Discovery Miles 39 880 Ships in 10 - 15 working days

Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Here, the author provides a well written and basic introduction to the 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.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Sony NEW Playstation Dualshock 4 v2…
 (3)
R1,842 R1,450 Discovery Miles 14 500
LG 20MK400H 19.5" Monitor WXGA LED Black
R2,199 R1,559 Discovery Miles 15 590
The Twisted Series - Love / Games / Hate…
Ana Huang Paperback R999 R887 Discovery Miles 8 870
Loot
Nadine Gordimer Paperback  (2)
R383 R310 Discovery Miles 3 100
Casio LW-200-7AV Watch with 10-Year…
R999 R884 Discovery Miles 8 840
Jurassic World 3 - Dominion
Chris Pratt, Bryce Dallas Howard, … DVD R143 Discovery Miles 1 430
Vital BabyŽ NURTURE™ Ultra-Comfort…
R30 R23 Discovery Miles 230
Complete Clumping Cat Litter (10kg)
R151 Discovery Miles 1 510
Aerolatte Cappuccino Art Stencils (Set…
R110 R95 Discovery Miles 950
Multi-Functional Bamboo Standing Laptop…
R1,399 R669 Discovery Miles 6 690

 

Partners