Hypermap Specification and Certified Linked Implementation Using Orbits

DOI10.1007/978-3-319-08970-6_16zbMath1416.68160OpenAlexW2236269201MaRDI QIDQ2879255

Jean-François Dufourd

Publication date: 8 September 2014

Published in: Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-08970-6_16

Mathematics Subject Classification ID

Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Related Items (1)

Formal study of functional orbits in finite domains

Uses Software

• CGAL
• Coq
• Why3

This page was built for publication: Hypermap Specification and Certified Linked Implementation Using Orbits