1 <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
2 <link rel="stylesheet" href="style.css" type="text/css"/>
3 <script src="code.js" type="text/javascript"></script>
7 Formally proving tiny bits of qemu using Frama-C
11 Richard W.M. Jones <small>(rjones @ redhat.com)</small> <br/>
12 <small>Monday November 16th, 2020</small>
16 <b>Formal verification</b> of software proves that the software is
17 mathematically correct with respect to its specification.
18 <b>Frama-C</b> is an open source modular framework for formal verification
19 of programs written in C.