Items where Subject is "Tool developments > Code generation"

Edmunds, Andrew and Butler, Michael (2011) Tasking Event-B: An Extension to Event-B for Generating Concurrent Code. In: PLACES 2011. (In Press)

Iliasov, Alexei (2011) Generation of certifiably correct programs from formal models. In: 1st Int. Workshop on Software Certification. At the 22nd Int. Symposium on Software Reliability Engineering (ISSRE 2011). , November 30, 2011, Hiroshima, Japan.

Edmunds, Andrew and Butler, Michael (2010) Tool Support for Event-B Code Generation. In: WS-TBFM2010. (In Press)

Iliasov, Alexei (2009) On Event-B and Control Flow. DEPLOY Project. (Unpublished)

Wright, Stephen A Formally Constructed Instruction Set Architecture Definition of the XCore Microprocessor. [DEPLOY Associate Item]

Edmunds, Andrew and Butler, Michael Presentation Slides - Tasking Event-B for Code Generation. In: Deploy Plenary Meeting, October 2010, Zurich. (Unpublished)