AutoBayes/CC --- Combining Program Synthesis with Automatic Code Certification (System Description)


Whalen, Michael, Schumann, Johann and Fischer, Bernd, (2002) AutoBayes/CC --- Combining Program Synthesis with Automatic Code Certification (System Description) Voronkov, Andrei (ed.) At 18th International Conference on Automated Deduction. 27 - 30 Jul 2002. , pp. 290-294.

Download

[img] PDF docu.pdf - Other
Download (101kB)
Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: July 27-30, 2002
Venue - Dates: 18th International Conference on Automated Deduction, 2002-07-27 - 2002-07-30
Keywords: software certification, automated theorem proving, formal methods
Organisations: Electronic & Software Systems
ePrint ID: 262907
Date :
Date Event
2002Published
Date Deposited: 16 Aug 2006
Last Modified: 23 Feb 2017 12:51
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/262907

Actions (login required)

View Item View Item