The following pages link to (Q4426386):
Displaying 10 items.
- A complete semantics of \(\mathbb{K}\) and its translation to Isabelle (Q2119971) (← links)
- Proving VLRL action properties with the Maude model checker (Q2849861) (← links)
- Plan in Maude specifying an active network programming language (Q2851057) (← links)
- Partial order reduction for rewriting semantics of programming languages (Q2873775) (← links)
- Model Checking Reconfigurable Petri Nets with Maude (Q3187803) (← links)
- The Linear Temporal Logic of Rewriting Maude Model Checker (Q4933287) (← links)
- Strategy-Based Proof Calculus for Membrane Systems (Q5179128) (← links)
- Backward Trace Slicing for Rewriting Logic Theories (Q5200013) (← links)
- Towards an Efficient Implementation of Tree Automata Completion (Q5505416) (← links)
- Strategies, Model Checking and Branching-Time Properties in Maude (Q6486043) (← links)