Generating customized verifiers for automatically generated code


Denney, Ewen and Fischer, Bernd (2008) Generating customized verifiers for automatically generated code. In, GPCE , 77-88.

Download

[img] PDF
Download (176Kb)
Item Type: Conference or Workshop Item (Paper)
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 271136
Date Deposited: 20 May 2010 09:05
Last Modified: 28 Mar 2014 15:10
Research Funder: EPSRC
Projects:
Customization and Adaptation of Automatically Generated Code
Funded by: EPSRC (EP/F052669/1)
Led by: Bernd Fischer
1 July 2008 to 30 June 2011
Further Information:Google Scholar
ISI Citation Count:4
URI: http://eprints.soton.ac.uk/id/eprint/271136

Actions (login required)

View Item View Item