Verifiying Properties of Concurrent Algorithms
This directory contains an example of analyzing multithreaded code
in Java-like languages. Information about the analysis and the
example program is available in the paper:
"Verifying Safety Properties of Concurrent Java Programs using 3-Valued Logic",
Eran Yahav,
Appeared in the proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL) 2001.