Complementation in Abstract Interpretation
Abstract elided by the publisher.
Related papers
- Complementation in Abstract Interpretation TOPLAS 1997
- A compiled implementation of strong reduction ICFP 2002
- Abstraction and BDDs Complement SAT-Based BMC in DiVer CAV 2003
- Finding Recurrent Sets with Backward Analysis and Trace Partitioning TACAS 2016
- From DSL specification to interactive computer programming environment SLE 2019
- Complementing Büchi Automata with Ranker CAV 2022
- Kofola 1.0: A Modular Approach to ømega-Regular Complementation and Inclusion Checking CAV 2026
- Sky Is Not the Limit - Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation TACAS 2022