Back to top
Languages & Display
English
Español
Display
Danvers - Peabody Institute Library
Dark Mode
Navigation
Library Website
Events Calendar
Museum Passes
Library of Things
ComCat
Databases
E-books, E-movies, etc.
Sign in
Your Account
Library Home Page
Library Hours & Location
Change Catalog
Help
Display Options
Languages
English
Español
Sign Out
Look for
Clear search
Keyword
Title
Start of Title
Series
Author
Subject
Call Number
Advanced Search
in Library Catalog
in Online Collection
in Articles & Databases
in Lists
in History & Archives
in Combined Results
Search
Browse
»
Model checking
Model checking
Author
Clarke, E. M., 1945-
Publisher
MIT Press
Publication Date
©1999
Language
English
Book
Show Edition
Available from another library
Where is it?
See Full Copy Details
Add to List
Description
Loading Description...
Published Reviews
Table of Contents
From the Book
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.
Author Notes
Loading Author Notes...
Subjects
Subjects
Computersystemen
Computer systems
Computer systems -- Verification
Datenverarbeitungssystem
Engenharia de software
Logiciels
Logiciels -- Vérification
Model Checking
Modellen
Verificatie
Verification
Verificação e validação de software
Vérification
More Details
Contributors
Grumberg, Orna
Peled, Doron A.,1962-
ISBN
9780262032704
NoveList
Staff View
Loading Staff View.
Loading, please wait
...
