Synthesizing Certified Code
Whalen, Michael; Schumann, Johann; Fischer, Bernd;
Code certification is a lightweight approach for formally demonstrating software quality. Its basic idea is to require code producers to provide formal proofs that their code satisfies certain quality properties. These proofs serve as certificates that can be checked in... View more