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

Rajiv Murali, Andrew Ireland

Research output: Contribution to journalArticlepeer-review

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

Cite this