Maude Action Tool

MAT (1998–2001) was a prototype tool for action semantics and MSOS, based on Maude. It was developed with Christiano Braga and Hermann Hauesler (PUC, Rio de Janeiro, Brazil) and José Meseguer (SRI International, USA).

MAT was superseded by MMT, the Maude MSOS Tool.