Logiciels
click here for a more fancy version of same webpageComputer tools
- A library for representing orthogonal polyhedra
- Developed by Olivier Bournez?
- Corresponds to the papers:
- Available on request: Olivier.Bournez@loria.fr
- Example of system(s) that uses this library:
- A tool for verification of timed automata using rewrite system ELAN
- Developed by Hassen Kacem under the supervision of Olivier Bournez? and Claude Kirchner
- Available on request: Olivier.Bournez@loria.fr
- More info on the ELAN system
- A tool for verification of p-automata/linear-hybrid automata using rewrite system ELAN
- Developed by Hassen Kacem under the supervision of Olivier Bournez? and Claude Kirchner
- Available on request: Olivier.Bournez@loria.fr
- More info on the ELAN system
- A repository for computer tools related to software quality and safety
- Developed by Mohamed El Habib under the supervision of Olivier Bournez? and 'le conseil des opérations de qsl'
- Click here to visit the repository.
- More info on 'qsl'.
- Any comment: Olivier.Bournez@loria.fr