CP 2016 has ended
Back To Schedule
Wednesday, September 7 • 10:15 - 11:15
Tutorial: Automated Program Analysis and Verification
    See presentations
We present a new paradigm for automated (algorithmic, push-button) program analysis and verification methods based on constraint solving and automata. The new paradigm is simple and accessible also to newcomers in the field of program analysis and verification.

avatar for Charlotte Truchet

Charlotte Truchet

Maître de conférence, University of Nantes

avatar for Andreas Podelski

Andreas Podelski

Professor, University of Freiburg

Wednesday September 7, 2016 10:15 - 11:15
Grand Amphi Lascrosses building

Attendees (6)