The Power of QDDs (Extended Abstract)
Abstract elided by the publisher.
Related papers
- Symbolic Verification of Communication Protocols with Infinite State Spaces Using QDDs (Extended Abstract) CAV 1996
- High-Level Abstractions for Simplifying Extended String Constraints in SMT CAV 2019
- Data Type Specification: Parameterization and the Power of Specification Techniques TOPLAS 1982
- Liveness of Communicating Transactions (Extended Abstract) APLAS 2010
- ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution) TACAS 2024
- Regex Decision Procedures in Extended RE# CAV 2025
- Vincent: Green Hot Methods in the JVM (Extended Abstract) ECOOP 2022
- On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control JFP 2019