7 citations · 8 across the 2 of their papers we have counts for
2 papers
cs.LO2020★ 7 cited
Verifying Graph Programs with First-Order Logic
Gia S. Wulandari, Detlef Plump
We consider Hoare-style verification for the graph programming language GP 2. In previous work, graph properties were specified by so-called E-conditions which extend nested graph…
cs.LO2020★ 1 cited
Verifying Graph Programs with First-Order Logic (Extended Version)
Gia Wulandari, Detlef Plump
We consider Hoare-style verification for the graph programming language GP 2. In previous work, graph properties were specified by so-called E-conditions which extend nested graph…