Karim Kanso's Home Page

I am a research student at Swansea University.

Picture

Research Interests

Domain analysis of Interlockings (w.r.t. railway interlockings)
Domain Specific Language of Railway Interlockings
Formal verification of critical control systems using a data driven loop

Publications

Automated Verification of Critical Systems (AVoCS) 2008

Contact

Room 403 - (forth floor, Faraday Tower)
E-Mail - cskarim at swan dot ac dot uk