Modest Toolset

Documentation

Home Downloads Publications Case Studies Documentation Contact Us More Tools

Documentation

In addition to the information available in the papers on Modest and mcpta, the following documentation offers more conrete information on the Modest Toolset and the Modest syntax it supports.

The Modest Language

• The Modest Language Guide
• Specifying Properties in Modest

The Modest Toolset

• Installation & System Requirements

mcpta

• Frequently Asked Questions
• Running mcpta
• Representing PTA in Modest

modes

• modes Tutorial
• modes User Manual
• Command Line Syntax Reference

Other Resources

The following sites offer additional documentation for Modest, but note that the syntax used may be slightly different:

• Modest Tutorial
• Modest Language Manual