Loading…
This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own
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)