Image from Coce

Model checking / Edmund M Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, and Helmut Veith.

By: Material type: TextTextSeries: Cyber-physical systems seriesPublisher: Cambridge, MA : The MIT Press, 2018Copyright date: ©2018Edition: Second editionDescription: xx, 402 pages : illustrations ; 24 cmContent type:
  • text
Media type:
  • unmediated
Carrier type:
  • volume
ISBN:
  • 0262038838
  • 9780262038836
Subject(s): Additional physical formats: No titleDDC classification:
  • 004.21 23
LOC classification:
  • QA76.76.V47 C553 2018
Contents:
1. Introduction to the second edition -- 2. Introduction to the first edition -- 3. Modeling Systems -- 4. Temporal Logic -- 5. CTL Model Checking -- 6. LTL and CTL* Model Checking -- 7. Automata on infinite words and LTL Model Checking -- 8. Binary decision diagrams and symbolic Model Checking -- 9. Propositional Satisfiability -- 10. SAT-Based Model Checking -- 11. Equivalences and preorders between Structures -- 12. Partial Order reduction -- 13. Abstraction -- 14. Software Model Checking -- 15. Verification with Automata Learning -- 16. Model Checking for the μ-Calculus -- 17. Symmetry -- 18. Infinite families of Finite-State Systems -- 19. Discrete Real-Time and Quantitative Temporal Analysis -- 20. Continuous Real Time.
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.21 CLA (Browse shelf(Opens below)) 1 Available A533906B
Book City Campus City Campus Main Collection 004.21 CLA (Browse shelf(Opens below)) 1 Available A533910B

Includes bibliographical references and index.

1. Introduction to the second edition -- 2. Introduction to the first edition -- 3. Modeling Systems -- 4. Temporal Logic -- 5. CTL Model Checking -- 6. LTL and CTL* Model Checking -- 7. Automata on infinite words and LTL Model Checking -- 8. Binary decision diagrams and symbolic Model Checking -- 9. Propositional Satisfiability -- 10. SAT-Based Model Checking -- 11. Equivalences and preorders between Structures -- 12. Partial Order reduction -- 13. Abstraction -- 14. Software Model Checking -- 15. Verification with Automata Learning -- 16. Model Checking for the μ-Calculus -- 17. Symmetry -- 18. Infinite families of Finite-State Systems -- 19. Discrete Real-Time and Quantitative Temporal Analysis -- 20. Continuous Real Time.

There are no comments on this title.

to post a comment.

Powered by Koha