Structured Types and Separation Logic

Electr. Notes Theor. Comput. Sci., pp. 41-59, 2008.

Cited by: 12|Views16
EI

Abstract:

Structured types, such as C's arrays and structs, present additional challenges in pointer program verification. The conventional proof abstractions, multiple independent typed heaps and separation logic, which in previous work have been built on a low-level memory model for C and shown to be sound, are not directly applicable in verifica...More

Code:

Data:

Your rating :
0

 

Tags
Comments