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, …
R4,080 Discovery Miles 40 800 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...
Monami Retractable Crayons (12 Colours)
R83 R66 Discovery Miles 660
Peptine Pro Equine Hydrolysed Collagen…
R699 R499 Discovery Miles 4 990
Canon BCI-3E Magenta Ink Cartridge
R299 R99 Discovery Miles 990
Teenage Mutant Ninja Turtles: Out of the…
Megan Fox, Stephen Amell, … Blu-ray disc R46 Discovery Miles 460
Huntlea Koletto - Bolster Pet Bed (Kale…
R695 R479 Discovery Miles 4 790
Pure Pleasure Electric Heating Pad (30 x…
 (2)
R599 R529 Discovery Miles 5 290
The Walking Dead - Season 1 / 2 / 3 / 4
Andrew Lincoln Blu-ray disc  (1)
R277 Discovery Miles 2 770
Stabilo Mini World Pastel Love Gift Set…
R669 Discovery Miles 6 690
Sylvanian Families - Walnut Squirrel…
R749 R579 Discovery Miles 5 790
I Used To Know That: Maths
Chris Waring Paperback R200 R89 Discovery Miles 890

 

Partners