Programmi di maude-msos-tool.sf.net

Maude MSOS Tool è un ambiente formale per le specifiche della semantica operativa strutturale modulare. È particolarmente utile per la specifica formale dei linguaggi di programmazione e dei sistemi simultanei.