Rajiv Murali

According to our database, Rajiv Murali authored at least 3 papers between 2012 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2016

UC-B: Use Case Modelling with Event-B.

Rajiv Murali, Andrew Ireland, Gudmund Grov

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015

A Rigorous Approach to Combining Use Case Modelling and Accident Scenarios.

Rajiv Murali, Andrew Ireland, Gudmund Grov

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

2012

E-SPARK: Automated Generation of Provably Correct Code from Formally Verified Designs.

Rajiv Murali, Andrew Ireland

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