A Front-End Generator for Verification Tools
Abstract elided by the publisher.
Related papers
- Formal Foundations for Translational Separation Logic Verifiers POPL 2025
- Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language PLDI 2024
- Deagle: An SMT-based Verifier for Multi-threaded Programs (Competition Contribution) TACAS 2022
- R2U2 Version 3.0: Re-Imagining a Toolchain for Specification, Resource Estimation, and Optimized Observer Generation for Runtime Verification in Hardware and Software CAV 2023
- Kratos2: An SMT-Based Model Checker for Imperative Programs CAV 2023
- Generators for High-Speed Front-Ends CC 1988
- Reasoning about Java Classes (Preliminary Report) OOPSLA 1998
- BNF converter Haskell 2004