The following pages link to Computer Aided Verification (Q5716558):
Displayed 4 items.
- Program equivalence by circular reasoning (Q493521) (← links)
- A language-independent proof system for full program equivalence (Q510898) (← links)
- Inference rules for proving the equivalence of recursive procedures (Q938300) (← links)
- Executing and verifying higher-order functional-imperative programs in Maude (Q2409629) (← links)