2291 search results - page 6 / 459 » Representational Reasoning and Verification |
CADE
1997
Springer
15 years 3 months ago
1997
Springer
105
Voted
TPHOL
1994
IEEE
15 years 3 months ago
1994
IEEE
CSL
2008
Springer
14 years 11 months ago
2008
Springer
125
click to vote
ESOP
2006
Springer
15 years 3 months ago
2006
Springer
This paper presents a new program logic designed for facilitating automated reasoning about pointer programs. The program logic is directly inspired by previous work by O'Hea...
86
Voted
APLAS
2008
ACM
15 years 1 months ago
2008
ACM
This paper presents a verification technique for a concurrent Java-like language with reentrant locks. The verification technique is based on permissionaccounting separation logic....