Examining classical graph-theory problems from the viewpoint of formal-verification methods
Date
Monday, September 10, 2018 16:00 - 17:00
Speaker
Orna Kupferman (The Hebrew University of Jerusalem)
Location
Raiffeisen Lecture Hall, Central Building
Series
Colloquium
Tags
Institute Colloquium
Host
PostDoc
Contact
The talk surveys a series of works that lift the rich semantics and structure of graphs, and the experience of the formal-verification community in reasoning about them, to classical graph-theoretical problems.