Model-Checking HyperLTL for Pushdown Systems
From MaRDI portal
Recommendations
- Algorithms for model checking HyperLTL and HyperCTL^*
- scientific article; zbMATH DE number 2080197
- Efficient CTL model-checking for pushdown systems
- Efficient CTL model-checking for pushdown systems
- AutoHyper: explicit-state model checking for HyperLTL
- Model-checking bounded multi-pushdown systems
- Model checking of pushdown systems for projection temporal logic
- scientific article; zbMATH DE number 2242594
- Model checking LTL with regular valuations for pushdown systems
Cites work
- scientific article; zbMATH DE number 1670780 (Why is no real title available?)
- 2-Visibly Pushdown Automata
- Algorithms for model checking HyperLTL and HyperCTL^*
- Practical arbitrary lookahead LR parsing
- Reachability analysis of pushdown automata: Application to model-checking
- The complementation problem for Büchi automata with applications to temporal logic
- Tools and Algorithms for the Construction and Analysis of Systems
- Tools and Algorithms for the Construction and Analysis of Systems
Cited in
(12)- Efficient CTL model-checking for pushdown systems
- Model checking of pushdown systems for projection temporal logic
- Model checking algorithms for hyperproperties (invited paper)
- Software Verification of Hyperproperties Beyond k-Safety
- Algorithms for model checking HyperLTL and HyperCTL^*
- Compositional model checking for multi-properties
- Bounded model checking for hyperproperties
- AutoHyper: explicit-state model checking for HyperLTL
- Stack-aware hyperproperties
- Realizable and context-free hyperlanguages
- scientific article; zbMATH DE number 1361475 (Why is no real title available?)
- Predicate abstraction for hyperliveness verification
This page was built for publication: Model-Checking HyperLTL for Pushdown Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5883578)
