Verifying safety properties of concurrent Java programs using 3-valued logic

We provide a parametric framework for verifying safety properties of concurrent Java programs. The framework combines thread-scheduling information with information about the shape of the heap. This leads to error-detection algorithms that are more precise than existing techniques. The framework also provides the most precise shape-analysis algorithm for… CONTINUE READING

Topics

Statistics

01020'00'02'04'06'08'10'12'14'16'18
Citations per Year

143 Citations

Semantic Scholar estimates that this publication has 143 citations based on the available data.

See our FAQ for additional information.