Semi-inversion of Guarded Equations
No abstract available.
Related papers
- Formal verification of semi-algebraic sets and real analytic functions CPP 2021
- Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time POPL 2020
- Inverting the Burrows-Wheeler transform JFP 2004
- How to Take the Inverse of a Type ECOOP 2022
- Symbolic Quantitative Robustness Analysis of Timed Automata TACAS 2015
- Conditional Attribute Grammars TOPLAS 1996
- Mapping deviation: a technique to adapt or to guard loop transformation intuitions for legality CC 2016
- Affine Loop Invariant Generation via Matrix Algebra CAV 2022