English
Magyar
Mihály Dobos-Kovács
PhD student
Contact information
Room:
IL405
Office:
1117 Budapest, Magyar tudósok krt. 2. I. ép. IL405
Phone:
+36 1 463-
Fax:
+36 1 463-4112
Email:
dobos (*) mit * bme * hu
Personal Web page:
http://home.mit.bme.hu/~dobos/indexe.html Introduction
Mihály Dobos-Kovács is a PhD student of Budapest University of Technology and Economics. His research focuses on using formal verification for test generation. Mihály is actively contributing the the Theta open source model checking framework, and participated in developing PLCverif, a tool developed at CERN targeting the formal verification of PLC code.
Research
PhD topic:
Formal verification supported testing of safety critical software
Research group:
Critical Systems Research Groups 
