researchseminars.org

Orna Kupferman (Hebrew University)
2020-11-04 14:00 - 15:00 UTC | https://researchseminars.org/talk/OWLS/11/
Title: Examining Classical Graph-Theory Problems from the Viewpoint of Formal-Verification Methods (https://researchseminars.org/talk/OWLS/11/)
by Orna Kupferman (Hebrew University) as part of Online Worldwide Seminar on Logic and Semantics (OWLS)

Abstract
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.
