Principles of model checking / Christel Baier, Joost-Pieter Katoen.

By:

Baier, Christel [author.]

Contributor(s):

Katoen, Joost-Pieter [author.]

Material type: Text

TextPublisher: Cambridge, Mass. : MIT Press, [2008?]Description: xvii, 975 pages : illustrations ; 26 cmContent type:

text

Media type:

unmediated

Carrier type:

volume

ISBN:

026202649X
9780262026499

Subject(s):

Computer software -- Verification

DDC classification:

004.24 22

LOC classification:

QA76.76.V47 B35 2008

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.

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.

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings
Item type	Current library	Call number	Copy number	Status	Date due	Barcode
Book	City Campus City Campus Main Collection	004.24 BAI (Browse shelf(Opens below))	1	Available		A501672B
Book	City Campus City Campus Main Collection	004.24 BAI (Browse shelf(Opens below))	1	Available		A556182B

Browsing City Campus shelves, Shelving location: City Campus Main Collection Close shelf browser (Hides shelf browser)

Previous								Next
Previous	004.22 NUL The essentials of computer organization and architecture /	004.22 STA Computer organization and architecture : designing for performance /	004.22 WOL Computers as components : principles of embedded computing system design /	004.24 BAI Principles of model checking /	004.24 BAI Principles of model checking /	004.36 ATT Distributed computing : fundamentals, simulations, and advanced topics /	004.36 BAB Management strategies for the cloud revolution : how cloud computing is transforming business and why you can't afford to be left behind /	Next

Includes bibliographical references (pages 931-964) and index.

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.

Machine converted from AACR2 source record.

There are no comments on this title.

to post a comment.