Computer tools

• A library for representing orthogonal polyhedra
  • Developed by Olivier Bournez
  • Corresponds to the papers:
    • "On the representation of Timed Polyhedra" from Olivier Bournez and Oded Maler in ICALP'2000. See here
    • "Orthogonal Polyhedra: Representation and Computation" from Olivier Bournez, Oded Maler and Amir Pnueli in HSCC'99. See here.
  • Available on request: Olivier.Bournez@loria.fr
  • Example of system(s) that uses this library:
    • d/dt tool developed by Thao Dang
• 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