Model Checking

Valutazione media 3,4
( su 10 valutazioni fornite da GoodReads )
 
9780262032704: Model Checking

Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and communication protocols. It has a number of advantages over traditional approaches that are based on simulation, testing, and deductive reasoning. In particular, model checking is automatic and usually quite fast. Also, if the design contains an error, model checking will produce a counterexample that can be used to pinpoint the source of the error. The method, which was awarded the 1998 ACM Paris Kanellakis Award for Theory and Practice, has been used successfully in practice to verify real industrial designs, and companies are beginning to market commercial model checkers.The main challenge in model checking is dealing with the state space explosion problem. This problem occurs in systems with many components that can interact with each other or systems with data structures that can assume many different values. In such cases the number of global states can be enormous. Researchers have made considerable progress on this problem over the last ten years.This is the first comprehensive presentation of the theory and practice of model checking. The book, which includes basic as well as state-of-the-art techniques, algorithms, and tools, can be used both as an introduction to the subject and as a reference for researchers.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

I migliori risultati di ricerca su AbeBooks

1.

Jr. Edmund M. Clarke, Orna Grumberg, Doron A. Peled
Editore: MIT Press Ltd, United States (2000)
ISBN 10: 0262032708 ISBN 13: 9780262032704
Nuovi Rilegato Quantità: 1
Da
The Book Depository
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro MIT Press Ltd, United States, 2000. Hardback. Condizione libro: New. Pr.. 230 x 186 mm. Language: English . Brand New Book. Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and communication protocols. It has a number of advantages over traditional approaches that are based on simulation, testing, and deductive reasoning. In particular, model checking is automatic and usually quite fast. Also, if the design contains an error, model checking will produce a counterexample that can be used to pinpoint the source of the error. The method, which was awarded the 1998 ACM Paris Kanellakis Award for Theory and Practice, has been used successfully in practice to verify real industrial designs, and companies are beginning to market commercial model checkers. The main challenge in model checking is dealing with the state space explosion problem. This problem occurs in systems with many components that can interact with each other or systems with data structures that can assume many different values. In such cases the number of global states can be enormous. Researchers have made considerable progress on this problem over the last ten years. This is the first comprehensive presentation of the theory and practice of model checking. The book, which includes basic as well as state-of-the-art techniques, algorithms, and tools, can be used both as an introduction to the subject and as a reference for researchers. Codice libro della libreria AAZ9780262032704

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 60,40
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

2.

Clarke, E. M.; Grumberg, Orna; Peled, Doron
ISBN 10: 0262032708 ISBN 13: 9780262032704
Nuovi Quantità: 3
Da
Speedy Hen LLC
(Sunrise, FL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. Bookseller Inventory # ST0262032708. Codice libro della libreria ST0262032708

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 61,30
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

3.

Clarke, E. M./ Grumberg, Orna/ Peled, Doron
Editore: MIT Press 2000-02-04 (2000)
ISBN 10: 0262032708 ISBN 13: 9780262032704
Nuovi Quantità: 2
Da
Chiron Media
(Wallingford, Regno Unito)
Valutazione libreria
[?]

Descrizione libro MIT Press 2000-02-04, 2000. Condizione libro: New. Brand new book, sourced directly from publisher. Dispatch time is 24-48 hours from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Codice libro della libreria NU-GRD-00546581

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 58,47
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,46
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

4.

Jr. Edmund M. Clarke, Orna Grumberg, Doron A. Peled
Editore: MIT Press Ltd, United States (2000)
ISBN 10: 0262032708 ISBN 13: 9780262032704
Nuovi Rilegato Quantità: 1
Da
The Book Depository US
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro MIT Press Ltd, United States, 2000. Hardback. Condizione libro: New. Pr.. 230 x 186 mm. Language: English . Brand New Book. Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and communication protocols. It has a number of advantages over traditional approaches that are based on simulation, testing, and deductive reasoning. In particular, model checking is automatic and usually quite fast. Also, if the design contains an error, model checking will produce a counterexample that can be used to pinpoint the source of the error. The method, which was awarded the 1998 ACM Paris Kanellakis Award for Theory and Practice, has been used successfully in practice to verify real industrial designs, and companies are beginning to market commercial model checkers. The main challenge in model checking is dealing with the state space explosion problem. This problem occurs in systems with many components that can interact with each other or systems with data structures that can assume many different values. In such cases the number of global states can be enormous. Researchers have made considerable progress on this problem over the last ten years. This is the first comprehensive presentation of the theory and practice of model checking. The book, which includes basic as well as state-of-the-art techniques, algorithms, and tools, can be used both as an introduction to the subject and as a reference for researchers. Codice libro della libreria AAZ9780262032704

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 62,11
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

5.

Edmund M. Clarke, Jr., Orna Grumberg, Doron A. Peled
Editore: MIT Press Ltd 2000-02-04, Cambridge, Mass. (2000)
ISBN 10: 0262032708 ISBN 13: 9780262032704
Nuovi Rilegato Quantità: 1
Da
Blackwell's
(Oxford, OX, Regno Unito)
Valutazione libreria
[?]

Descrizione libro MIT Press Ltd 2000-02-04, Cambridge, Mass., 2000. hardback. Condizione libro: New. Codice libro della libreria 9780262032704

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 57,14
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 5,20
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

6.

Edmund M. Clarke, Orna Grumberg, Doron A. Peled
Editore: MIT Press Ltd
ISBN 10: 0262032708 ISBN 13: 9780262032704
Nuovi Rilegato Quantità: 5
Da
THE SAINT BOOKSTORE
(Southport, Regno Unito)
Valutazione libreria
[?]

Descrizione libro MIT Press Ltd. Hardback. Condizione libro: new. BRAND NEW, Model Checking, Edmund M. Clarke, Orna Grumberg, Doron A. Peled, Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and communication protocols. It has a number of advantages over traditional approaches that are based on simulation, testing, and deductive reasoning. In particular, model checking is automatic and usually quite fast. Also, if the design contains an error, model checking will produce a counterexample that can be used to pinpoint the source of the error. The method, which was awarded the 1998 ACM Paris Kanellakis Award for Theory and Practice, has been used successfully in practice to verify real industrial designs, and companies are beginning to market commercial model checkers. The main challenge in model checking is dealing with the state space explosion problem. This problem occurs in systems with many components that can interact with each other or systems with data structures that can assume many different values. In such cases the number of global states can be enormous. Researchers have made considerable progress on this problem over the last ten years. This is the first comprehensive presentation of the theory and practice of model checking. The book, which includes basic as well as state-of-the-art techniques, algorithms, and tools, can be used both as an introduction to the subject and as a reference for researchers. Codice libro della libreria B9780262032704

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 56,53
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 6,87
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

7.

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled
Editore: The MIT Press (1999)
ISBN 10: 0262032708 ISBN 13: 9780262032704
Nuovi Rilegato Quantità: 1
Da
Ergodebooks
(RICHMOND, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro The MIT Press, 1999. Hardcover. Condizione libro: New. Codice libro della libreria DADAX0262032708

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 64,80
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,70
In U.S.A.
Destinazione, tempi e costi

8.

Clarke, Edmund
Editore: MIT Press (2000)
ISBN 10: 0262032708 ISBN 13: 9780262032704
Nuovi Rilegato Quantità: 2
Da
Ria Christie Collections
(Uxbridge, Regno Unito)
Valutazione libreria
[?]

Descrizione libro MIT Press, 2000. Condizione libro: New. book. Codice libro della libreria ria9780262032704_rkm

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 66,26
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,86
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

9.

Clarke, E. M.; Grumberg, Orna; Peled, Doron
ISBN 10: 0262032708 ISBN 13: 9780262032704
Nuovi Quantità: 2
Da
BWB
(Valley Stream, NY, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. Depending on your location, this item may ship from the US or UK. Codice libro della libreria 97802620327040000000

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 71,87
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

10.

Clarke, E. M.; Grumberg, Orna; Peled, Doron
ISBN 10: 0262032708 ISBN 13: 9780262032704
Nuovi Quantità: 2
Da
Speedy Hen
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. Bookseller Inventory # ST0262032708. Codice libro della libreria ST0262032708

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 50,70
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 21,96
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro