Collaborated with:
J.Brotherston N.Gorogiannis M.I.Kanovich
Talks about:
symbol (1) predic (1) induct (1) separ (1) model (1) logic (1) check (1) heap (1)
Person: Reuben Rowe
DBLP: Rowe:Reuben
Contributed to:
Wrote 1 papers:
- POPL-2016-BrotherstonGKR #induction #logic #model checking
- Model checking for symbolic-heap separation logic with inductive predicates (JB, NG, MIK, RR), pp. 84–96.