begcd

The purpose of this webpage is to provide the Coq formalization discussed in:

• ISSE 2013 article

Online documentation

Formalization:

• Last version [2018-09-07 Fri]: on github
• Older version [2017-10-24 Tue]: simu_begcd.tar.gz
  • Requirements: Coq-8.7.0 and MathComp-1.6.2
  • Installation: see the file BEGCDINSTALL in the root directory.