Screenshots

These images refer to the graphical plugin. Click on the images to enlarge them

• The preference pane for MCMAS under Eclipse Preferences
  

  Mac OS X/Linux

  

  Windows

  
• The New Project wizard with the new project type MCMAS
  
  
• The graphical ISPL editor
  

  Dynamic reconciling (with an empty file)

  

  Content assist

  
• Running a simulation
  

  Choose an initial state

  

  Choose an enabled transition

  
  
• The results of the verification
  
  
• The counterexamples window
  

  Counterexample 1

  

  Witnes execution

  

  Highlight a state

  

  Counterexample 2

  

  Project out the environment