Info Trace Abstraction for Concurrent Programs via Petri Net Acceptors Course type Bachelor Thesis Instructors Matthias Heizmann Credits 15 Course Catalog Extend the trace abstraction [1] approach to program verification to concurrent programs by using petri net acceptors instead of finite automata. Literature [1] Javier Esparza, Stefan Römer, Walter Vogler: An Improvement of McMillan's Unfolding Algorithm. TACAS 1996:87-106 [2] Matthias Heizmann, Jochen Hoenicke, Andreas Podelski: Refinement of Trace Abstraction. SAS 2009:69-85
