ORME
From MaRDI portal
Cited in
(11)- Strategies, model checking and branching-time properties in Maude
- Stratego
- PSMaude
- Tom
- A3PAT
- REVE
- Metalevel transformation of strategies
- pyModelChecking
- AC-unification race: The system solving approach, implementation and benchmarks
- Mechanically certifying formula-based Noetherian induction reasoning
- Termination of rewrite systems by elementary interpretations
This page was built for software: ORME
