Algorithms for Model Checking HyperLTL and HyperCTL*¶

Finkbeiner, B., Rabe, M. N., & Sánchez, C. (2015). Algorithms for Model Checking HyperLTL and HyperCTL*. ” in.

Type: Book chapter
Intellectual base: Review or monograph
Year: 2015
DOI: 10.1007/978-3-319-21690-4_3
ISBN: 9783319216898
Link: https://doi.org/10.1007/978-3-319-21690-4_3

Cited by¶

1 citation across 1 artifact.

Domain-specific¶

Hyperproperty
- HyperLTL adds explicit trace quantifiers to temporal logic for finite-state reasoning.

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:122b128c586c · see in the full table