Embedding of Systems of Affine Recurrence Equations in Coq

DOI10.1007/10930755_10zbMath1279.68286OpenAlexW1535723389MaRDI QIDQ3559765

David Cachera, David Pichardie

Publication date: 7 May 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/10930755_10

Mathematics Subject Classification ID

Related Items (1)

Mostly automated formal verification of loop dependencies with applications to distributed stencil algorithms

Uses Software

• Coq
• QuickCheck

This page was built for publication: Embedding of Systems of Affine Recurrence Equations in Coq