Paper "Software Verification with PDR: An Implementation of the State of the Art" published in Proc. TACAS'20 and available now!

Dr. Abolfazl Lavaei

Picture of Dr. Abolfazl Lavaei

Software and Computational Systems Lab
Institute for Informatics
Ludwig-Maximilians-Universität München (LMU Munich)
Oettingenstraße 67
80538 Munich (Germany)

Office
Room F U109, Oettingenstr. 67
Phone
+49 89 2180-9345
E-Mail
firstname.lastname@lmu.de