Pages that link to "Item:Q2945730"
From MaRDI portal
The following pages link to From Rewriting Logic, to Programming Language Semantics, to Program Verification (Q2945730):
Displaying 4 items.
- Debugging Maude programs via runtime assertion checking and trace slicing (Q739630) (← links)
- Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis (Q2945700) (← links)
- Abstract Contract Synthesis and Verification in the Symbolic 𝕂 Framework (Q4988925) (← links)
- Software Model Checking for Mobile Security – Collusion Detection in $$\mathbb {K}$$K (Q5883569) (← links)
