Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
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
 
© EPFL 2018 - Legal notice