Research Activities and Projects

Under construction...


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.

The source code developed during this project is attached to this page. Please note that this code is still under development.

  Attachment Action Size Date Who Comment
else ALiss.rar props, move 115.2 K 04 Jul 2007 - 18:07 JosePedroMagalhaes ALiss source code
r4 - 04 Jul 2007 - 18:09:25 - JosePedroMagalhaes
This site is powered by the TWiki collaboration platformCopyright © 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 RSSATOM