README.md

This is a simple tool to symbolically encode and detect deadlocks in Java multithreaded programs. This tool is being used in the Sherlock deadlock detector which is being presented in FSE'14. Requirements:

• Yices
• Soot