Transformation-Based Verification Using Generalized Retiming
No abstract available.
Related papers
- On Some Transformation Invariants Under Retiming and Resynthesis TACAS 2005
- Compilation of Parallel Multimedia Computations - Extending Retiming Theory and Amdahl's Law PPoPP 1997
- Verification of high-level transformations with inductive refinement types GPCE 2018
- LCV: A Verification Tool for Linear Controller Software TACAS 2019
- Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations TOPLAS 2014
- PolyCheck: dynamic verification of iteration space transformations on affine programs POPL 2016
- A language and framework for invariant-driven transformations GPCE 2009
- Scaling network verification using symmetry and surgery POPL 2016