Examining classical graph-theory problems from the viewpoint of formal-verification methods (invited talk)

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.