ProVal

Proof of Programs

• Home
• Members
• Research
  • Proof of Programs
  • Floating-Point Arithmetic
  • Automated Deduction
  • Computer-Assisted Proof
    and Functional Programming
  • Data-centric Languages
  • Synchronous Languages
• Software
  • Software
  • Gallery of verified programs
• Publications
• Interns

The ProVal team was stopped at the end of August 2012, and reborn into a new team Toccata
These pages do not evolve anymore, please follow the link above for up-to-date informations about our team.

Agenda