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). In, 18th International Conference on Automated Deduction, Copenhagen, 27 - 30 Jul 2002. Springer Verlag, 290-294.
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
Download (99Kb) |
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Additional Information: | Event Dates: July 27-30, 2002 |
| ISBNs: | 3540439315 |
| Keywords: | software certification, automated theorem proving, formal methods |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science > Electronic & Software Systems |
| Item ID: | 262907 |
| Date Deposited: | 16 Aug 2006 |
| Last Modified: | 02 Mar 2012 12:59 |
| Contributors: | Whalen, Michael (Author) Schumann, Johann (Author) Fischer, Bernd (Author) Voronkov, Andrei (Editor) |
| Date: | 2002 |
| Additional Information: | Event Dates: July 27-30, 2002 |
| Status: | Published |
| Publisher: | Springer Verlag |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/262907 |
Actions (login required)
 |
View Item |
