Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

sav07_projects [2007/06/29 21:14]
ghid.maatouk
sav07_projects [2007/07/13 13:55] (current)
vkuncak
Line 3: Line 3:
 Please create or update the page for your project but keep the ordering of projects. Please create or update the page for your project but keep the ordering of projects.
  
-  * [[Expressive Power of a Fragment of WS1S]]+  * [[Verifying pattern matching with guards]] 
 +  * [[Randomized Model Finder]]
   * [[Verifying data structures using Jahob]]   * [[Verifying data structures using Jahob]]
   * [[Verifying Dijkstra'​s algorithm in Jahob]]   * [[Verifying Dijkstra'​s algorithm in Jahob]]
 +  * [[Expressive Power of a Fragment of WS1S]]
   * [[Software Verification Tools Overview]]   * [[Software Verification Tools Overview]]
-  * [[Verifying pattern matching with guards]] 
- 
   * [[Variable range analysis]]   * [[Variable range analysis]]
-  * [[Constraint based analysis of Java using Jahob and AMRC]] 
   * [[Interfaces for atomicity]]   * [[Interfaces for atomicity]]
 +  * [[Constraint based analysis of Java using Jahob and AMRC]]
   * [[Alloy in Jahob]]   * [[Alloy in Jahob]]
-  * [[Randomized Model Finder]] 
  
 **More information** **More information**
 
sav07_projects.txt · Last modified: 2007/07/13 13:55 by vkuncak