7 citations · 9 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
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…