skip to content
Model checking Preview this item
ClosePreview this item
Checking...

Model checking

Author: E M Clarke; Orna Grumberg; Doron Peled
Publisher: Cambridge, Mass. : MIT Press, ©1999.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

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  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: E M Clarke; Orna Grumberg; Doron Peled
ISBN: 0262032708 9780262032704
OCLC Number: 318255149
Description: xiv, 314 p. : il. ; 24 cm
Responsibility: Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled.

Reviews

Editorial reviews

Publisher Synopsis

" 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 Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/318255149> # Model checking
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "318255149" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/993542#Place/cambridge_mass> ; # Cambridge, Mass.
    schema:about <http://experiment.worldcat.org/entity/work/data/993542#Topic/computer_software_testing> ; # Computer software--Testing
    schema:about <http://experiment.worldcat.org/entity/work/data/993542#Topic/logic_circuits_design_testing> ; # Logic circuits--Design--Testing
    schema:about <http://dewey.info/class/004.21/e21/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/993542#Topic/verificacion_de_sistemas_computacionales> ; # Verificación de sistemas computacionales
    schema:about <http://experiment.worldcat.org/entity/work/data/993542#Topic/ingenieria_del_software> ; # Ingeniería del software
    schema:about <http://experiment.worldcat.org/entity/work/data/993542#Topic/circuitos_logicos_diseno_verificacion> ; # Circuitos lógicos--Diseño--Verificación
    schema:about <http://experiment.worldcat.org/entity/work/data/993542#Topic/computer_networks_testing> ; # Computer networks--Testing
    schema:about <http://experiment.worldcat.org/entity/work/data/993542#Topic/software_verificacion> ; # Software--Verificación
    schema:about <http://experiment.worldcat.org/entity/work/data/993542#Topic/redes_de_ordenadores_verificacion> ; # Redes de ordenadores--Verificación
    schema:about <http://experiment.worldcat.org/entity/work/data/993542#Topic/software_engineering> ; # Software engineering
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/85346726> ; # Doron Peled
    schema:contributor <http://viaf.org/viaf/85195028> ; # Orna Grumberg
    schema:copyrightYear "1999" ;
    schema:creator <http://viaf.org/viaf/8050749> ; # E. M. Clarke
    schema:datePublished "1999" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/993542> ;
    schema:inLanguage "en" ;
    schema:name "Model checking" ;
    schema:numberOfPages "314" ;
    schema:productID "318255149" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/318255149#PublicationEvent/cambridge_mass_mit_press_1999> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/993542#Agent/mit_press> ; # MIT Press
    schema:workExample <http://worldcat.org/isbn/9780262032704> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/318255149> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/993542#Place/cambridge_mass> # Cambridge, Mass.
    a schema:Place ;
    schema:name "Cambridge, Mass." ;
    .

<http://experiment.worldcat.org/entity/work/data/993542#Topic/circuitos_logicos_diseno_verificacion> # Circuitos lógicos--Diseño--Verificación
    a schema:Intangible ;
    schema:name "Circuitos lógicos--Diseño--Verificación" ;
    .

<http://experiment.worldcat.org/entity/work/data/993542#Topic/computer_networks_testing> # Computer networks--Testing
    a schema:Intangible ;
    schema:name "Computer networks--Testing" ;
    .

<http://experiment.worldcat.org/entity/work/data/993542#Topic/computer_software_testing> # Computer software--Testing
    a schema:Intangible ;
    schema:name "Computer software--Testing" ;
    .

<http://experiment.worldcat.org/entity/work/data/993542#Topic/ingenieria_del_software> # Ingeniería del software
    a schema:Intangible ;
    schema:name "Ingeniería del software" ;
    .

<http://experiment.worldcat.org/entity/work/data/993542#Topic/logic_circuits_design_testing> # Logic circuits--Design--Testing
    a schema:Intangible ;
    schema:name "Logic circuits--Design--Testing" ;
    .

<http://experiment.worldcat.org/entity/work/data/993542#Topic/redes_de_ordenadores_verificacion> # Redes de ordenadores--Verificación
    a schema:Intangible ;
    schema:name "Redes de ordenadores--Verificación" ;
    .

<http://experiment.worldcat.org/entity/work/data/993542#Topic/software_engineering> # Software engineering
    a schema:Intangible ;
    schema:name "Software engineering" ;
    .

<http://experiment.worldcat.org/entity/work/data/993542#Topic/software_verificacion> # Software--Verificación
    a schema:Intangible ;
    schema:name "Software--Verificación" ;
    .

<http://experiment.worldcat.org/entity/work/data/993542#Topic/verificacion_de_sistemas_computacionales> # Verificación de sistemas computacionales
    a schema:Intangible ;
    schema:name "Verificación de sistemas computacionales" ;
    .

<http://viaf.org/viaf/8050749> # E. M. Clarke
    a schema:Person ;
    schema:birthDate "1945" ;
    schema:familyName "Clarke" ;
    schema:givenName "E. M." ;
    schema:name "E. M. Clarke" ;
    .

<http://viaf.org/viaf/85195028> # Orna Grumberg
    a schema:Person ;
    schema:familyName "Grumberg" ;
    schema:givenName "Orna" ;
    schema:name "Orna Grumberg" ;
    .

<http://viaf.org/viaf/85346726> # Doron Peled
    a schema:Person ;
    schema:birthDate "1962" ;
    schema:familyName "Peled" ;
    schema:givenName "Doron" ;
    schema:name "Doron Peled" ;
    .

<http://worldcat.org/isbn/9780262032704>
    a schema:ProductModel ;
    schema:isbn "0262032708" ;
    schema:isbn "9780262032704" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.