Ahmed Mahdi

Model checkers, Hybrid and real time system verification, Craig interpolation, Safety analysis

Department für Informatik

Carl von Ossietzky Universität Oldenburg
Postfach 2503
26111 Oldenburg

Tel.: (0441) 798-2065 Fax: (0441) 798-4199