Loading…
CP 2016 has ended
View analytic
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.

Moderators
avatar for Charlotte Truchet

Charlotte Truchet

Maître de conférence, University of Nantes

Speakers
avatar for Andreas Podelski

Andreas Podelski

Professor, University of Freiburg


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

Attendees (6)