Model Checking

3,56 valoración promedio
( 9 valoraciones por GoodReads )
 
9780262032704: Model Checking
Review:

" Model Checking is bound to be the pre-eminent source for research, teaching, and industrial practice on this important subject. Theauthors include the foremost experts. This is the first trulycomprehensive treatment of a line of research that has gone fromconception to industrial practice in only two decades." R. P. Kurshan , Distinguished Member Technical Staff, Bell Laboratories

From the Publisher:

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Los mejores resultados en AbeBooks

1.

Clarke, Edmund M.; Clarke, Edmund M. Jr.; Grumberg, Orna
Editorial: MIT Press Ltd (1999)
ISBN 10: 0262032708 ISBN 13: 9780262032704
Nuevos Tapa dura Cantidad: 1
Librería
Valoración
[?]

Descripción MIT Press Ltd, 1999. Estado de conservación: New. 1999. n. Hardcover. This presentation of the theory and practice of model checking includes basic as well as state-of-the-art techniques, algorithms and tools, and can be used as an introduction to the subject or a reference for researchers. Num Pages: 330 pages, 99. BIC Classification: UGK; UM; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 188 x 23. Weight in Grams: 694. . . . . . . Nº de ref. de la librería V9780262032704

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 49,76
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Irlanda a España
Destinos, gastos y plazos de envío

2.

Clarke, Edmund M.; Clarke, Edmund M. Jr.; Grumberg, Orna
Editorial: MIT Press Ltd, United States (2000)
ISBN 10: 0262032708 ISBN 13: 9780262032704
Nuevos Tapa dura Cantidad: 1
Librería
The Book Depository US
(London, Reino Unido)
Valoración
[?]

Descripción MIT Press Ltd, United States, 2000. Hardback. Estado de conservación: 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. Nº de ref. de la librería AAU9780262032704

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 53,00
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a España
Destinos, gastos y plazos de envío

3.

Clarke, Edmund M.; Clarke, Edmund M. Jr.; Grumberg, Orna
Editorial: MIT Press Ltd, United States (2000)
ISBN 10: 0262032708 ISBN 13: 9780262032704
Nuevos Tapa dura Cantidad: 1
Librería
The Book Depository
(London, Reino Unido)
Valoración
[?]

Descripción MIT Press Ltd, United States, 2000. Hardback. Estado de conservación: 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. Nº de ref. de la librería AAU9780262032704

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 53,32
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a España
Destinos, gastos y plazos de envío

4.

Clarke, Edmund M.; Clarke, Edmund M. Jr.; Grumberg, Orna
Editorial: MIT Press Ltd
ISBN 10: 0262032708 ISBN 13: 9780262032704
Nuevos Tapa dura Cantidad: 1
Librería
Kennys Bookstore
(Olney, MD, Estados Unidos de America)
Valoración
[?]

Descripción MIT Press Ltd. Estado de conservación: New. 1999. n. Hardcover. This presentation of the theory and practice of model checking includes basic as well as state-of-the-art techniques, algorithms and tools, and can be used as an introduction to the subject or a reference for researchers. Num Pages: 330 pages, 99. BIC Classification: UGK; UM; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 188 x 23. Weight in Grams: 694. . . . . . Books ship from the US and Ireland. Nº de ref. de la librería V9780262032704

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 53,66
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

5.

Clarke, Edmund M.; Clarke, Edmund M. Jr.; Grumberg, Orna
Editorial: MIT Press Ltd 2000-02-04, Cambridge, Mass. (2000)
ISBN 10: 0262032708 ISBN 13: 9780262032704
Nuevos Tapa dura Cantidad: 1
Librería
Blackwell's
(Oxford, OX, Reino Unido)
Valoración
[?]

Descripción MIT Press Ltd 2000-02-04, Cambridge, Mass., 2000. hardback. Estado de conservación: New. Nº de ref. de la librería 9780262032704

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 50,72
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,05
De Reino Unido a España
Destinos, gastos y plazos de envío

6.

Clarke, Edmund M.; Clarke, Edmund M. Jr.; Grumberg, Orna
Editorial: MIT Press 2000-02-04 (2000)
ISBN 10: 0262032708 ISBN 13: 9780262032704
Nuevos Cantidad: 5
Librería
Chiron Media
(Wallingford, Reino Unido)
Valoración
[?]

Descripción MIT Press 2000-02-04, 2000. Estado de conservación: 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. Nº de ref. de la librería NU-GRD-00546581

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 52,00
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,46
De Reino Unido a España
Destinos, gastos y plazos de envío

7.

Clarke, Edmund M.; Clarke, Edmund M. Jr.; Grumberg, Orna
Editorial: MIT Press Ltd
ISBN 10: 0262032708 ISBN 13: 9780262032704
Nuevos Tapa dura Cantidad: 6
Librería
THE SAINT BOOKSTORE
(Southport, Reino Unido)
Valoración
[?]

Descripción MIT Press Ltd. Hardback. Estado de conservación: 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. Nº de ref. de la librería B9780262032704

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 50,18
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 8,04
De Reino Unido a España
Destinos, gastos y plazos de envío

8.

Clarke, Edmund M.; Clarke, Edmund M. Jr.; Grumberg, Orna
Editorial: MIT Press (2000)
ISBN 10: 0262032708 ISBN 13: 9780262032704
Nuevos Tapa dura Cantidad: 5
Librería
Ria Christie Collections
(Uxbridge, Reino Unido)
Valoración
[?]

Descripción MIT Press, 2000. Estado de conservación: New. book. Nº de ref. de la librería ria9780262032704_rkm

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 61,63
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,31
De Reino Unido a España
Destinos, gastos y plazos de envío

9.

Clarke, Edmund M.; Clarke, Edmund M. Jr.; Grumberg, Orna
Editorial: Mit Pr (1999)
ISBN 10: 0262032708 ISBN 13: 9780262032704
Nuevos Tapa dura Cantidad: 1
Librería
English-Book-Service Mannheim
(Mannheim, Alemania)
Valoración
[?]

Descripción Mit Pr, 1999. Estado de conservación: New. Nº de ref. de la librería EA9780262032704

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 58,96
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 7,50
De Alemania a España
Destinos, gastos y plazos de envío

10.

Clarke, Edmund M.; Clarke, Edmund M. Jr.; Grumberg, Orna
Editorial: MIT Press (2000)
ISBN 10: 0262032708 ISBN 13: 9780262032704
Nuevos Tapa dura Cantidad: 5
Librería
Speedy Hen
(London, Reino Unido)
Valoración
[?]

Descripción MIT Press, 2000. Estado de conservación: New. Bookseller Inventory # ST0262032708. Nº de ref. de la librería ST0262032708

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 45,31
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 23,13
De Reino Unido a España
Destinos, gastos y plazos de envío

Existen otras copia(s) de este libro

Ver todos los resultados de su búsqueda