Author of the publication

Coloured Petri net refinement specification and correctness proof with Coq.

, , and . Innov. Syst. Softw. Eng., 6 (3): 195-202 (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Field, une procédure de décision pour les nombres réels en Coq., and . JFLA, page 33-48. INRIA, (2001)Using Theorem Proving for Numerical Analysis (Correctness Proof of an Automatic Differentiation Algorithm).. TPHOLs, volume 2410 of Lecture Notes in Computer Science, page 246-262. Springer, (2002)Quantifier Elimination over Algebraically Closed Fields in a Proof Assistant using a Computer Algebra System., and . Calculemus, volume 151 of Electronic Notes in Theoretical Computer Science, page 57-73. Elsevier, (2005)Coloured Petri net refinement specification and correctness proof with Coq., , and . Innov. Syst. Softw. Eng., 6 (3): 195-202 (2010)A Coq Formalization of Lebesgue Induction Principle and Tonelli's Theorem., , , , and . FM, volume 14000 of Lecture Notes in Computer Science, page 39-55. Springer, (2023)Trusting computations: A mechanized proof from partial differential equations to actual program., , , , , and . Comput. Math. Appl., 68 (3): 325-352 (2014)The Three Gap Theorem (Steinhaus Conjecture).. TYPES, volume 1956 of Lecture Notes in Computer Science, page 162-173. Springer, (1999)Teaching Divisibility and Binomials with Coq., , , , and . CoRR, (2024)Experimenting Formal Proofs of Petri Nets Refinements, , and . Electronic Notes in Theoretical Computer Science, (June 2008)The Three Gap Theorem (Steinhauss Conjecture). CoRR, (2006)