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. WS1S Expressive Power and Quantifier Elimination 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