Changes between Version 3 and Version 4 of WikiStart

Show
Ignore:
Timestamp:
07/13/10 00:34:03 (3 years ago)
Author:
iago (IP: 79.151.142.174)
Comment:

Short explanaation of why the project seems dead before it was born.

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v3 v4  
    1010 * Generating proof obligations from these specifications. 
    1111 * Different methods to verify these obligations. 
     12 
     13== Status == 
     14 
     15Currently I'm working on my degree thesis which will be the start of this project, anyway I hope to commit some patches in the next months.