Compositional model checking for multi-properties
From MaRDI portal
Publication:2234059
DOI10.1007/978-3-030-67067-2_4zbMath1472.68089OpenAlexW3120552358MaRDI QIDQ2234059
Sarai Sheinvald, Ohad Goudsmid, Orna Grumberg
Publication date: 18 October 2021
Full work available at URL: https://doi.org/10.1007/978-3-030-67067-2_4
Related Items (3)
Generalized test tables: a domain-specific specification language for automated production systems ⋮ Unnamed Item ⋮ Finite-word hyperlanguages
Cites Work
- Unnamed Item
- Unnamed Item
- Learning to divide and conquer: applying the \(L^*\) algorithm to automate assume-guarantee reasoning
- Learning regular sets from queries and counterexamples
- Algorithms for model checking HyperLTL and HyperCTL\(^*\)
- Finite-word hyperlanguages
- Model Checking Information Flow in Reactive Systems
- The First-Order Logic of Hyperproperties
- A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow
- Static Analysis
- Lazy self-composition for security verification
- HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
- Property directed self composition
This page was built for publication: Compositional model checking for multi-properties
