Model checking Edmund M. Clarke, Jr.; Orna Grumberg, and Doron A. Peled

By:

Clarke, Edmund M, 1945-2020 [aut]

Contributor(s):

Material type: Text

TextLanguage: English Publisher: Cambridge, Mass. London MIT c 1999Description: XIV, 314 pages illustrations 24 cmContent type:

Text

Media type:

ohne Hilfsmittel zu benutzen

Carrier type:

Band

ISBN:

9780262032704
0262032708

Subject(s):

LOC classification:

QA76.76.V47

Other classification:

ST 130
ST 233
54.10
54.52

Contents:

Holdings ( 1 )
Title notes ( 2 )

Holdings
Item type	Current library	Call number	Status	Date due	Barcode	Item holds
Book	Library	004-199x (Browse shelf(Opens below))	Checked out	09/04/2026	AT-ISTA#000032

Total holds: 0

Close shelf browser (Hides shelf browser)

Previous								Next
Previous	004 Introduction to Data Technologies (Chapman & Hall/CRC Computer Science & Data Analysis).	004 Data science from Scratch	004 Analog computing	004-199x Model checking	004-199x Randomized algorithms /	004-199x Model checking /	004-2000 Quantum computation and quantum information /	Next

bibliography page [297] - 307

Modeling systems -- Trmporal logics -- Model checking -- Binary decision diagram -- Symbolic model checking -- Model checking for the u-calculus -- Model checking in practice -- Model checking and automata theory -- Partial order reduction -- Equivalences and preorders between structures -- Compositional reasoning -- Abstraction -- Symmetry -- Infinite families of finite-state systems -- Discrete real-time and quantitative temporal analysis -- Continuous real time.