2 search results - page 1 / 1 » Refinement-Based Verification for Possibly-Cyclic Lists |
60
Voted
BIRTHDAY
2006
Springer
15 years 1 months ago
2006
Springer
In earlier work, we presented an abstraction-refinement mechanism that was successful in verifying automatically the partial correctness of in-situ list reversal when applied to an...
171
Voted
POPL
2008
ACM
15 years 10 months ago
2008
ACM
We propose a novel approach to proving the termination of heapmanipulating programs, which combines separation logic with cyclic proof within a Hoare-style proof system. Judgement...