Principles of Model Checking

Baier, C., & Katoen, J. (2008). Principles of Model Checking. MIT Press.

Type

Book chapter

Intellectual base

Textbook

Year

2008

Link

https://openlibrary.org/isbn/9780262026499verified

Cited by

1 citation across 1 artifact.

Domain-specific

• Computation Tree Logic
  • Standard model-checking treatments formalize CTL algorithms and compare it with LTL and CTL*.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:1d70a9ffdac6 · see in the full table