Whalen, Michael, Schumann, Johann and Fischer, Bernd (2002) AutoBayes/CC --- Combining Program Synthesis with Automatic Code Certification (System Description). Voronkov, Andrei (ed.) 18th International Conference on Automated Deduction, Copenhagen. 27 - 30 Jul 2002. pp. 290-294 .
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: 2002
Additional Information:
Event Dates: July 27-30, 2002
Venue - Dates:
18th International Conference on Automated Deduction, Copenhagen, 2002-07-27 - 2002-07-30
Keywords:
software certification, automated theorem proving, formal methods
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 262907
URI: http://eprints.soton.ac.uk/id/eprint/262907
ISBN: 3-540-43931-5
PURE UUID: f8fc9502-9278-4d8b-a8f7-cacfa11ac384
Catalogue record
Date deposited: 16 Aug 2006
Last modified: 14 Mar 2024 07:20
Export record
Contributors
Author:
Michael Whalen
Author:
Johann Schumann
Author:
Bernd Fischer
Editor:
Andrei Voronkov
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.