MSOS

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

MSOS (Modular SOS, 1999–2016) is modular variant of SOS (structural operational semantics).