Pages that link to "Item:Q507361"
From MaRDI portal
The following pages link to A generic framework for symbolic execution: a coinductive approach (Q507361):
Displaying 9 items.
- Program equivalence by circular reasoning (Q493521) (← links)
- A generic framework for symbolic execution: a coinductive approach (Q507361) (← links)
- A language-independent proof system for full program equivalence (Q510898) (← links)
- Symbolic execution formally explained (Q1982639) (← links)
- (Co)inductive proof systems for compositional proofs in reachability logic (Q1996855) (← links)
- Generalized rewrite theories, coherence completion, and symbolic methods (Q2291817) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- Executing and verifying higher-order functional-imperative programs in Maude (Q2409629) (← links)
- Proving Reachability-Logic Formulas Incrementally (Q2827839) (← links)
