The Lattice-Theoretic Essence of Property Directed Reachability Analysis
From MaRDI portal
Publication:6487318
DOI10.1007/978-3-031-13185-1_12zbMath1514.68137MaRDI QIDQ6487318
Unnamed Author, Kohei Suenaga, Ichiro Hasuo, Shin-ya Katsumata, Natsuki Urabe
Publication date: 7 December 2022
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Probabilistic systems coalgebraically: a survey
- Generalized property-directed reachability for hybrid systems
- The contraction principle as a particular case of Kleene's fixed point theorem
- Constructive versions of Tarski's fixed point theorems
- Structural induction and coinduction in a fibrational setting
- Categorical logic and type theory
- Fibrational bisimulations and quantitative reasoning
- Weakest preconditions in fibrations
- \textsf{PrIC3}: property directed reachability for MDPs
- A lattice-theoretical fixpoint theorem and its applications
- Property Directed Abstract Interpretation
- Introduction to Coalgebra
- Generalized Property Directed Reachability
- SAT-Based Model Checking without Unrolling
- Up-To Techniques for Behavioural Metrics via Fibrations
- Category Theory
- The Lattice-Theoretic Essence of Property Directed Reachability Analysis
This page was built for publication: The Lattice-Theoretic Essence of Property Directed Reachability Analysis
