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