Karim Kanso

Publication Activity (10 Years)

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

Top Topics

Fully Automated

Top Venues

Math. Struct. Comput. Sci.

Swansea University, UK (PHD)

Education History

Swansea University, UK

PHD

Publications

Karim Kanso, Anton Setzer
A light-weight integration of automated and interactive theorem proving. Math. Struct. Comput. Sci. 26 (1) (2016)
Phillip James, Andy Lawrence, Faron Moller, Markus Roggenbach, Monika Seisenberger, Anton Setzer, Karim Kanso, Simon Chadwick
Verification of Solid State Interlocking Programs. SEFM Workshops (2013)
Karim Kanso, Faron Moller, Anton Setzer
Automated Verification of Signalling Principles in Railway Interlocking Systems. Electron. Notes Theor. Comput. Sci. 250 (2) (2009)