A Proof Lattice-Based Technique for Analyzing Liveness of Resource Controllers
No abstract available.
Related papers
- Handling Exceptions and Effects with Automatic Resource Analysis OOPSLA 2026
- Lattice-theoretic progress measures and coalgebraic model checking POPL 2016
- Compositional certified resource bounds PLDI 2015
- Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios CAV 2021
- LiDO-DAG: A Framework for Verifying Safety and Liveness of DAG-Based Consensus Protocols PLDI 2025
- Geometry of synthesis III: resource management through type inference POPL 2011
- Building and Maintaining Analysis-Level Class Hierarchies Using Galois Lattices OOPSLA 1993
- Complete Lattices and Up-To Techniques APLAS 2007