Synthesizing Certified Code

Conference object English OPEN
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
Share - Bookmark

  • Download from
    e-Prints Soton via e-Prints Soton (Conference object, 2002)
  • Cite this publication