LARA This is an old revision of the document! SAV07 Projects Please create or update the page for your project but keep the ordering of projects. Expressive Power of a Fragment of WS1S Verifying data structures using Jahob Verifying Dijkstra's algorithm in Jahob Software Verification Tools Overview Verifying pattern matching with guards Variable range analysis Constraint based analysis of Java using Jahob and AMRC Interfaces for atomicity Alloy in Jahob Randomized Model Finder More information General information on projects