Synthesizing Certified Code

Conference object English OPEN
Whalen, Michael; Schumann, Johann; Fischer, Bernd;
(2002)

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
  • Metrics
    0
    views in OpenAIRE
    0
    views in local repository
    16
    downloads in local repository

    The information is available from the following content providers:

    FromNumber Of ViewsNumber Of Downloads
    e-Prints Soton - IRUS-UK 0 16
Share - Bookmark

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