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.