A framework for the verification of certifying computations
From MaRDI portal
Publication:2351144
DOI10.1007/s10817-013-9289-2zbMath1314.68180arXiv1301.7462MaRDI QIDQ2351144
Kurt Mehlhorn, Sascha Böhme, Eyad Alkassar, Christine Rizkallah
Publication date: 23 June 2015
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1301.7462
formal verification; software verification; interactive theorem proving; Isabelle; certifying algorithms; automatic code verification; certifying computations; VCC
68Q60: Specification and verification (program logics, model checking, etc.)
Uses Software