Abstracting C with abC
Abstract elided by the publisher.
Related papers
- abc: The AspectBench Compiler for AspectJ GPCE 2005
- ABC: An Academic Industrial-Strength Verification Tool CAV 2010
- ABC: Towards a Universal Code Styler through Model Merging OOPSLA 2025
- Knor: reactive synthesis using Oink TACAS 2024
- CPV: A Circuit-Based Program Verifier TACAS 2024
- Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator TACAS 2023
- ADAC: Automated Design of Approximate Circuits CAV 2018
- Adding trace matching with free variables to AspectJ OOPSLA 2005