CAVEAT: Technique and Tool for Computer Aided VErification And Transformation
Abstract elided by the publisher.
Related papers
- The Rewrite Engines Competitions: A RECtrospective TACAS 2019
- The Modular Framework of Computer-Aided Verification CAV 1990
- The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration TACAS 2001
- Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations OOPSLA 2016
- Roadmap for enhanced languages and methods to aid verification GPCE 2006
- Cape: compiler-aided program transformation for HTM-based cache side-channel defense CC 2022
- Functional programming for compiling and decompiling computer-aided design ICFP 2018
- Finding code that explodes under symbolic evaluation OOPSLA 2018