There are a lot of academic tools that support validation and verification of software.

On this page you can find a glimpse of the tools we use in LaQuSo and the link to their download page.

We added links to some other useful academic tools as well.

• Yasper
  Petri net editor/simulator
  
  [ Details ][ Download ]
• MetricView
  Visualizator of quality metrics of UML diagrams provided by SAAT Tool, see description
  
  [ Details ][ Download ]
• Woflan
  Workflow Analyzer
  
  [ Details ][ Download ]
• mCRL2 Toolset
  Process Algebra Verification Tool
  
  [ Details ][ Download ]
• GAST
  A tool for automatic testing
  
  [ Download ]
• Torx
  Model based test generator
  
  [ Details ][ Download ]
• Visual Code Navigator
  CVSscan, CVSgrab, CSV, DreamCode
  
  [ Details ][ Download ]
• Sequoia View
  File system visualizer
  
  [ Details ][ Download ]
• PROM
  A framework that supports a variety of process mining techniques in the form of plug-ins
  
  [ Details ][ Download ]