ALiss (1 vs. 4)

Research Activities and Projects

View r4 > r3 > r2 > r1

ALiss 4 - 04 Jul 2007 - Main.JosePedroMagalhaes

-<
<
+ Under cunstruction...
->
>
+ Under construction...
  Overview
 This was done under the supervision of professors Jorge Sousa Pinto
and Maria João Frade.
->
>
+The source code developed during this project is attached to this page. Please note that this code is still under development.


   META FILEATTACHMENT    attachment="ALiss.rar" attr="" comment="ALiss source code" date="1183572461" name="ALiss.rar" path="ALiss.rar" size="117920" stream="ALiss.rar" user="Main.JosePedroMagalhaes" version="1"
-   META FILEATTACHMENT
+ attachment="ALiss.rar" attr="" comment="ALiss source code" date="1183572461" name="ALiss.rar" path="ALiss.rar" size="117920" stream="ALiss.rar" user="Main.JosePedroMagalhaes" version="1"

 ALiss 3 - 11 Jun 2007 - Main.JosePedroCorreia
 Line: 1 to 1
 Changed: 
<
< Página em construção.
>
>  Under cunstruction... 


 Overview 

ALISS is an implementation of the toy language LISS extended
with support for logical annotations. These allow the generation of verification conditions
regarding the program, providing thus a way to formally verify the correctness of the implemented algorithm.

The system was developed by us, José Pedro Correia
and José Pedro Magalhães as a project for
the first semester of the last year of our courses (LESI).
This was done under the supervision of professors Jorge Sousa Pinto
and Maria João Frade.
  
 Deleted: 
<
< -- JosePedroMagalhaes - 11 Jun 2007
-<
<
+Página em construção.
->
>
+ Under cunstruction... 


 Overview 

ALISS is an implementation of the toy language LISS extended
with support for logical annotations. These allow the generation of verification conditions
regarding the program, providing thus a way to formally verify the correctness of the implemented algorithm.

The system was developed by us, José Pedro Correia
and José Pedro Magalhães as a project for
the first semester of the last year of our courses (LESI).
This was done under the supervision of professors Jorge Sousa Pinto
and Maria João Frade.
-<
<
+-- JosePedroMagalhaes - 11 Jun 2007

 ALiss 2 - 11 Jun 2007 - Main.JosePedroMagalhaes
 Line: 1 to 1
 Added: 
>
> Página em construção.
  
 Changed: 
<
< 
-- JorgeSousaPinto - 06 Jun 2007
>
> -- JosePedroMagalhaes - 11 Jun 2007
->
>
+Página em construção.
-<
<
+-- JorgeSousaPinto - 06 Jun 2007
->
>
+-- JosePedroMagalhaes - 11 Jun 2007

ALiss 1 - 06 Jun 2007 - Main.JorgeSousaPinto

Line: 1 to 1

Added:

>
>

-- JorgeSousaPinto - 06 Jun 2007

Revision 4	r4 - 04 Jul 2007 - 18:09:25 - JosePedroMagalhaes
Revision 3	r3 - 11 Jun 2007 - 19:41:51 - JosePedroCorreia
Revision 2	r2 - 11 Jun 2007 - 09:45:46 - JosePedroMagalhaes
Revision 1	r1 - 06 Jun 2007 - 14:36:44 - JorgeSousaPinto

Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback

Syndicate this site RSS ATOM