Pages that link to "Item:Q2945720"
From MaRDI portal
The following pages link to Verifying Reachability-Logic Properties on Rewriting-Logic Specifications (Q2945720):
Displaying 7 items.
- A generic framework for symbolic execution: a coinductive approach (Q507361) (← 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)
- Metalevel algorithms for variant satisfiability (Q2413027) (← links)
- Proving Reachability-Logic Formulas Incrementally (Q2827839) (← links)
- Unification in matching logic (Q6535966) (← links)
