ORME

swMATH15064MaRDI QIDQ26958FDOQ26958

Author name not available (Why is that?)

Official website: http://www.sigsam.org/software/orme.html

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