Verifying Graph Programs with Monadic Second-Order Logic.

Gia S. Wulandari Detlef Plump

Published in: ICGT (2021)

Keyphrases

random walk
graph theory
weighted graph
structured data
data sets
building blocks
model checking
integrity constraints
directed graph