Pages that link to "Item:Q3090877"
From MaRDI portal
The following pages link to Proving Safety Properties of Rewrite Theories (Q3090877):
Displayed 10 items.
- Twenty years of rewriting logic (Q1931904) (← links)
- Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description) (Q2104541) (← links)
- Generalized rewrite theories, coherence completion, and symbolic methods (Q2291817) (← links)
- Generic Proof Scores for Generate & Check Method in CafeOBJ (Q2945712) (← links)
- Verifying Reachability-Logic Properties on Rewriting-Logic Specifications (Q2945720) (← links)
- Simulation and Verification of Synchronous Set Relations in Rewriting Logic (Q3098052) (← links)
- All-Path Reachability Logic (Q5170834) (← links)
- Generate & Check Method for Verifying Transition Systems in CafeOBJ (Q5256348) (← links)
- Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool (Q5403085) (← links)
- Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs (Q5403086) (← links)