โปรแกรมตาม maude-msos-tool.sf.net

เครื่องมือ Maude MSOS เป็นสภาพแวดล้อมที่เป็นทางการสําหรับข้อกําหนดของข้อกําหนดด้านโครงสร้างการทํางานแบบแยกส่วน มันมีประโยชน์อย่างยิ่งสําหรับข้อกําหนดอย่างเป็นทางการของภาษาการเขียนโปรแกรมและระบบที่เกิดขึ้นพร้อมกัน