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

Rajiv Murali, Andrew Ireland

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)1-15
Number of pages15
JournalElectronic Communications of the EASST
Volume53
Publication statusPublished - 2012
EventAVOCS 2012 : International Workshop on Automated Verification of Critical Systems - Bamberg, Germany
Duration: 18 Sep 201220 Sep 2012

Cite this