Domain Specific Languages and Verification

Phillip James

(Swansea University)

The development and application of formal methods is a long standing research topic within the field of Computer Science. One particular challenge that remains is the uptake of formal methods into industrial practices. In this talk, we present a methodology for developing domain specific languages for modelling and verification that aims to aid the uptake of formal methods within industry. We will cover the successful application of this methodology within the railway domain. The presented methodology addresses three core issues surrounding faithful modelling, scalability of verification and accessibility to modelling and verification processes for practitioners within the domain.
Tuesday 14th January 2014, 14:00
Robert Recorde Room
Department of Computer Science