Optimality in Abstractions of Model Checking
Abstract elided by the publisher.
Related papers
- Optimal Stateless Model Checking for Causal Consistency TACAS 2023
- Lazy abstraction POPL 2002
- Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications CAV 2024
- Compositional Probabilistic Model Checking with String Diagrams of MDPs CAV 2023
- Pareto Curves for Compositionally Model Checking String Diagrams of MDPs TACAS 2024
- Model Checking Distributed Protocols in Must OOPSLA 2024
- Bounded Model Checking for Asynchronous Hyperproperties TACAS 2023
- Multi-objective Optimization of Long-run Average and Total Rewards TACAS 2021