↓Skip to main content
  1. Tags/

Maude

Maude Action Tool

MAT (1998–2001) was a prototype tool for action semantics and MSOS, based on Maude.