skip to content
Principles of model checking Preview this item
ClosePreview this item
Checking...

Principles of model checking

Author: Christel Baier; Joost-Pieter Katoen
Publisher: Cambridge, Mass. : MIT Press, [2008?]
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
Model checking systematically (and automatically) checks whether a model of a given system satisfies a desired property such as deadlock freedom, invariants, and request-response properties. This text offers an introduction to this verification and debugging technique.
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

Genre/Form: Electronic books
Additional Physical Format: Print version:
Baier, Christel.
Principles of model checking.
Cambridge, Mass. : MIT Press, [2008?]
(DLC) 2007037603
(OCoLC)171152628
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Christel Baier; Joost-Pieter Katoen
ISBN: 9780262267564 026226756X 9781435643277 1435643275
OCLC Number: 228031090
Reproduction Notes: Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL
Description: 1 online resource (xvii, 975 pages) : illustrations
Details: Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Contents: System verification --
Modelling concurrent systems --
Linear-time properties --
Regular properties --
Linear temporal logic --
Computation tree logic --
Equivalences and abstraction --
Partial order reduction --
Timed automata --
Probabilistic systems.
Responsibility: Christel Baier, Joost-Pieter Katoen.

Abstract:

A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical  Read more...

Reviews

Editorial reviews

Publisher Synopsis

This is an impressive piece of work...The book can be used as a kind of reference manual for the classical basis of model checking for lecturers, who will be able to select some parts in order to 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/228031090> # Principles of model checking
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "228031090" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/113714745#Place/cambridge_mass> ; # Cambridge, Mass.
    schema:about <http://id.loc.gov/authorities/subjects/sh85029537> ; # Computer software--Verification
    schema:about <http://experiment.worldcat.org/entity/work/data/113714745#Topic/systemes_informatiques_verification> ; # Systèmes informatiques--Vérification
    schema:about <http://experiment.worldcat.org/entity/work/data/113714745#Topic/computers_systems_architecture_general> ; # COMPUTERS--Systems Architecture--General
    schema:about <http://id.worldcat.org/fast/1750859> ; # Computer systems--Verification
    schema:about <http://id.loc.gov/authorities/subjects/sh2008002946> ; # Computer systems--Verification
    schema:about <http://experiment.worldcat.org/entity/work/data/113714745#Topic/programmverifikation> ; # Programmverifikation
    schema:about <http://experiment.worldcat.org/entity/work/data/113714745#Topic/systemes_informatiques_verification_modeles_mathematiques> ; # Systèmes informatiques--Vérification--Modèles mathématiques
    schema:about <http://id.worldcat.org/fast/872604> ; # Computer software--Verification
    schema:about <http://dewey.info/class/004.24/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/113714745#Topic/logiciels_verification_modeles_mathematiques> ; # Logiciels--Vérification--Modèles mathématiques
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/59929404> ; # Joost-Pieter Katoen
    schema:creator <http://viaf.org/viaf/52611758> ; # Christel Baier
    schema:datePublished "2008" ;
    schema:description "System verification -- Modelling concurrent systems -- Linear-time properties -- Regular properties -- Linear temporal logic -- Computation tree logic -- Equivalences and abstraction -- Partial order reduction -- Timed automata -- Probabilistic systems."@en ;
    schema:description "Model checking systematically (and automatically) checks whether a model of a given system satisfies a desired property such as deadlock freedom, invariants, and request-response properties. This text offers an introduction to this verification and debugging technique."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/113714745> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/171152628> ;
    schema:name "Principles of model checking"@en ;
    schema:productID "228031090" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/228031090#PublicationEvent/cambridge_mass_mit_press_2008> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/113714745#Agent/mit_press> ; # MIT Press
    schema:url <http://site.ebrary.com/id/10223883> ;
    schema:url <http://www.myilibrary.com?id=209957> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3338793> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=226091> ;
    schema:url <http://catalog.hathitrust.org/api/volumes/oclc/171152628.html> ;
    schema:url <http://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=3338793> ;
    schema:url <http://www.myilibrary.com?id=890755> ;
    schema:workExample <http://worldcat.org/isbn/9780262267564> ;
    schema:workExample <http://worldcat.org/isbn/9781435643277> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/228031090> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/113714745#Topic/computers_systems_architecture_general> # COMPUTERS--Systems Architecture--General
    a schema:Intangible ;
    schema:name "COMPUTERS--Systems Architecture--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/113714745#Topic/logiciels_verification_modeles_mathematiques> # Logiciels--Vérification--Modèles mathématiques
    a schema:Intangible ;
    schema:name "Logiciels--Vérification--Modèles mathématiques"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/113714745#Topic/programmverifikation> # Programmverifikation
    a schema:Intangible ;
    schema:name "Programmverifikation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/113714745#Topic/systemes_informatiques_verification> # Systèmes informatiques--Vérification
    a schema:Intangible ;
    schema:name "Systèmes informatiques--Vérification"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/113714745#Topic/systemes_informatiques_verification_modeles_mathematiques> # Systèmes informatiques--Vérification--Modèles mathématiques
    a schema:Intangible ;
    schema:name "Systèmes informatiques--Vérification--Modèles mathématiques"@fr ;
    .

<http://id.loc.gov/authorities/subjects/sh2008002946> # Computer systems--Verification
    a schema:Intangible ;
    schema:name "Computer systems--Verification"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85029537> # Computer software--Verification
    a schema:Intangible ;
    schema:name "Computer software--Verification"@en ;
    .

<http://id.worldcat.org/fast/1750859> # Computer systems--Verification
    a schema:Intangible ;
    schema:name "Computer systems--Verification"@en ;
    .

<http://id.worldcat.org/fast/872604> # Computer software--Verification
    a schema:Intangible ;
    schema:name "Computer software--Verification"@en ;
    .

<http://viaf.org/viaf/52611758> # Christel Baier
    a schema:Person ;
    schema:familyName "Baier" ;
    schema:givenName "Christel" ;
    schema:name "Christel Baier" ;
    .

<http://viaf.org/viaf/59929404> # Joost-Pieter Katoen
    a schema:Person ;
    schema:familyName "Katoen" ;
    schema:givenName "Joost-Pieter" ;
    schema:name "Joost-Pieter Katoen" ;
    .

<http://worldcat.org/isbn/9780262267564>
    a schema:ProductModel ;
    schema:isbn "026226756X" ;
    schema:isbn "9780262267564" ;
    .

<http://worldcat.org/isbn/9781435643277>
    a schema:ProductModel ;
    schema:isbn "1435643275" ;
    schema:isbn "9781435643277" ;
    .

<http://www.worldcat.org/oclc/171152628>
    a schema:CreativeWork ;
    rdfs:label "Principles of model checking." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/228031090> ; # Principles of model checking
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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