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...
First Aid Dressing No 3
R5 R1 Discovery Miles 10
Mixtape Automatic Folding Washing…
R890 R544 Discovery Miles 5 440
Bostik Double-Sided Tape (18mm x 10m…
 (1)
R31 Discovery Miles 310
Medalist Mini American Football (Pink)
R122 Discovery Miles 1 220
Pineware Steam, Spray & Dry Iron (Blue…
R199 R187 Discovery Miles 1 870
The Handmaid's Tale - Season 4
Elisabeth Moss, Yvonne Strahovski, … DVD R416 Discovery Miles 4 160
Tenet
John David Washington, Robert Pattinson Blu-ray disc  (1)
R52 Discovery Miles 520
Home Quip Stainless Steel Double Wall…
R181 R155 Discovery Miles 1 550
Salvatore Ferragamo Salvatore Ferragamo…
R1,922 R1,754 Discovery Miles 17 540
Philips TAUE101 Wired In-Ear Headphones…
R199 R129 Discovery Miles 1 290

 

Partners