VeriMAP: A Tool for Verifying Programs through Transformations
Abstract elided by the publisher.
Related papers
- Formally Verifying a Transformation from MLTL Formulas to Regular Expressions TACAS 2025
- LCV: A Verification Tool for Linear Controller Software TACAS 2019
- Software Verification for Weak Memory via Program Transformation ESOP 2013
- The VerCors Verifier: A Progress Report CAV 2024
- CoqCryptoLine: A Verified Model Checker with Certified Results CAV 2023
- Engineering Verified Model Transformations through a Proof-Based Language Workbench SLE 2026
- Verification of high-level transformations with inductive refinement types GPCE 2018
- Foundational Multi-Modal Program Verifiers POPL 2026