Rajiv Murali

Publication Activity (10 Years)

Years Active: 2012-2016
Publications (10 Years): 1

Top Topics

Provably Correct

Search Algorithm

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Publications

Rajiv Murali, Andrew Ireland, Gudmund Grov
UC-B: Use Case Modelling with Event-B. ABZ (2016)
Rajiv Murali, Andrew Ireland, Gudmund Grov
A Rigorous Approach to Combining Use Case Modelling and Accident Scenarios. NFM (2015)
Rajiv Murali, Andrew Ireland
E-SPARK: Automated Generation of Provably Correct Code from Formally Verified Designs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 53 (2012)