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

Dr. Philip Mayer

Picture of Dr. Philip Mayer

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

E-Mail
lastname@pst.ifi.lmu.de

More Information

For more information, see my Programming & Software Engineering Group web site.