research
∙
07/06/2023
Exploiting Adjoints in Property Directed Reachability Analysis
We formulate, in lattice-theoretic terms, two novel algorithms inspired ...
share
research
∙
03/27/2022
The Lattice-Theoretic Essence of Property Directed Reachability Analysis
We present LT-PDR, a lattice-theoretic generalization of Bradley's prope...
research
∙
05/11/2021
Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down
The coincidence between initial algebras (IAs) and final coalgebras (FCs...
research
∙
10/28/2020