Programma's van maude-msos-tool.sf.net

Maude MSOS Tool is een formele omgeving voor de specificatie van modulaire structurele operationele semantiek specificaties. Het is met name nuttig voor de formele specificatie van programmeertalen en gelijktijdige systemen.