Pages that link to "Item:Q2945139"
From MaRDI portal
The following pages link to Rewriting Modulo SMT and Open System Analysis (Q2945139):
Displayed 15 items.
- Rewriting modulo SMT and open system analysis (Q347384) (← links)
- A generic framework for symbolic execution: a coinductive approach (Q507361) (← links)
- A Maude environment for CafeOBJ (Q520244) (← links)
- Strict coherence of conditional rewriting modulo axioms (Q683741) (← links)
- Modeling and analyzing mobile ad hoc networks in Real-Time Maude (Q730472) (← links)
- Normal forms and normal theories in conditional rewriting (Q730473) (← links)
- Language definitions as rewrite theories (Q730476) (← links)
- Debugging Maude programs via runtime assertion checking and trace slicing (Q739630) (← links)
- Sentence-normalized conditional narrowing modulo in rewriting logic and Maude (Q1655486) (← links)
- Generalized rewrite theories, coherence completion, and symbolic methods (Q2291817) (← links)
- Executing and verifying higher-order functional-imperative programs in Maude (Q2409629) (← links)
- Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis (Q2945700) (← links)
- Two Decades of Maude (Q2945709) (← links)
- Verifying Reachability-Logic Properties on Rewriting-Logic Specifications (Q2945720) (← links)
- All-Path Reachability Logic (Q5170834) (← links)