![](/statics/img/blank.png)
Maude MSOS Tool
License: Free File size: N/A
Users Rating: 3.0/5 - 1 votes
Please wait ... Your download link is being verified for malicious content.
You'll be able to download in 5 seconds.
You'll be able to download in 5 seconds.
ABOUT Maude MSOS Tool
Maude MSOS Tool is a formal environment for the specification of Modular Structural Operational Semantics specifications. It is particularly useful for the formal specification of programming languages and concurrent systems.