The Verified Polyhedron Library: an overview

Abstract : The Verified Polyhedra Library operates upon a constraint-only representation of convex polyhedra and provides all common operations (image, pre-image, projection, convex hull, widening, inclusion and equality tests.. .). Optionally, the soundness of the results is checked by a layer certified in Coq.
Complete list of metadatas

Cited literature [37 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02100006
Contributor : David Monniaux <>
Submitted on : Monday, April 15, 2019 - 2:41:26 PM
Last modification on : Tuesday, May 28, 2019 - 1:13:41 AM

File

VPL_SYNASC_2018_article.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02100006, version 1

Collections

Citation

Sylvain Boulmé, Alexandre Maréchal, David Monniaux, Michaël Périn, Hang Yu. The Verified Polyhedron Library: an overview. 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Universitatea de Vest din Timișoara, Sep 2018, Timișoara, Romania. pp.9-17. ⟨hal-02100006⟩

Share

Metrics

Record views

57

Files downloads

68