Issue 2/2019
Special Issue: Selected Extended Papers of ITP 2016
Content (7 Articles)
Mostly Automated Formal Verification of Loop Dependencies with Applications to Distributed Stencil Algorithms
Thomas Grégoire, Adam Chlipala
The Flow of ODEs: Formalization of Variational Equation and Poincaré Map
Fabian Immler, Christoph Traut
Formalizing Network Flow Algorithms: A Refinement Approach in Isabelle/HOL
Peter Lammich, S. Reza Sefidgar
Formally Verified Approximations of Definite Integrals
Assia Mahboubi, Guillaume Melquiond, Thomas Sibut-Pinote