An Abstraction Algorithm for the Verification of Generalized C-Slow Designs
Abstract elided by the publisher.
Related papers
- Transition Power Abstractions for Deep Counterexample Detection TACAS 2022
- Abstract Neural Networks SAS 2020
- Recollections about the Development of Pascal HOPL 1993
- Verification Algorithms for Automated Separation Logic Verifiers CAV 2024
- The design, implementation, and evaluation of a compiler algorithm for CPU energy reduction PLDI 2003
- Automated Software Verification of Hyperliveness TACAS 2024
- Parameterized Types for Java POPL 1997
- Massively Parallel Mining of Specifications for Hardware Designs CAV 2026