REMO: Reasoned Modelling

Project Team


The REasoned MOdelling (REMO) project has EPSRC funding (EP/F037058) for three years to investigate effective ways of handling the volatile nature of software specifications. In particular, it will focus on how animation and automated reasoning techniques can be used to guide the evolution of systems within Event-B. The project is part of a larger multidisciplinary collaboration with the University of Edinburgh (EP/F035594) and Imperial College (EP/F036647). The collaboration is investigating complementary aspects of the problem of modelling theory evolution. It is inspired by the writings of Lakatos ("Proofs and Refutations") and draws together researchers from Artificial Intelligence, Cognitive Science as well as Computer Science.

Further details can be obtained from Andrew Ireland, Dependable Systems Group, School of Mathematical and Computer Sciences, Heriot-Watt University, Edinburgh, EH14 4AS, UK [, +44 (0)131 451 3409 ]

| Publications | HRemo Experimental Results | Presentations |