E-SPARK: Automated generation of provably correct code from formally verified designs

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	1-15
Number of pages	15
Journal	Electronic Communications of the EASST
Volume	53
Publication status	Published - 2012
Event	AVOCS 2012 : International Workshop on Automated Verification of Critical Systems - Bamberg, Germany Duration: 18 Sept 2012 → 20 Sept 2012

Access to Document

@article{0341a132d5dc43ef8b45a20bfd83e15d,

title = "E-SPARK: Automated generation of provably correct code from formally verified designs",

author = "Rajiv Murali and Andrew Ireland",

year = "2012",

language = "English",

volume = "53",

pages = "1--15",

journal = "Electronic Communications of the EASST",

issn = "1863-2122",

publisher = "Universitatsbibliothek TU Berlin",

note = "AVOCS 2012 : International Workshop on Automated Verification of Critical Systems ; Conference date: 18-09-2012 Through 20-09-2012",

}

TY - JOUR

T1 - E-SPARK: Automated generation of provably correct code from formally verified designs

AU - Murali, Rajiv

AU - Ireland, Andrew

PY - 2012

Y1 - 2012

M3 - Article

SN - 1863-2122

VL - 53

SP - 1

EP - 15

JO - Electronic Communications of the EASST

JF - Electronic Communications of the EASST

T2 - AVOCS 2012 : International Workshop on Automated Verification of Critical Systems

Y2 - 18 September 2012 through 20 September 2012

ER -