Handbook of Model Checking

Clarke, E. M., Henzinger, T. A., Veith, H., & Bloem, R. (2018). Handbook of Model Checking. Springer.

Type

Book

Intellectual base

Review or monograph

Year

2018

DOI

10.1007/978-3-319-10575-8

ISBN

9783319105741

Link

https://doi.org/10.1007/978-3-319-10575-8

Cited from

mathematics

Cited by

1 citation across 1 artifact.

Each citation links to the sentence it supports in the citing article.

Primes

• Realized vs Possible Outcomes
  • The reachability technique from control engineering ports into software model-checking, where reachable program states must be enumerated or bounded.

    This sourceReference establishing reachable-state enumeration in software model checking, porting reachability from control engineering.

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:504b6d453688 · see in the full table