Please create or update the page for your project but keep the ordering of projects.

• Verifying pattern matching with guards
• Randomized Model Finder
• Verifying data structures using Jahob
• Verifying Dijkstra's algorithm in Jahob
• Expressive Power of a Fragment of WS1S
• Software Verification Tools Overview
• Variable range analysis
• Interfaces for atomicity
• Constraint based analysis of Java using Jahob and AMRC
• Alloy in Jahob

More information

• General information on projects