Answers are grounded in this paper and cite their sources.
This document consists of three chapters: Chapter 1 describes how Isabelle/HOL works and how to use it in a certification processnbsp;in a sound way./li> li>Chapter 2: Style Guide. It describes how to write Isabelle theories so that they are suitablenbsp;for collaborative work and human readers in a certification context./li> li>Chapter 3: Compliance statement. We state how, in the EURO-MILS project, the developednbsp;theories are compliant with (1) and (2)./li> /ul>
No takes yet. Share an insight, caveat, or question.
Blasum et al. (2015) studied this question.