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:
Mah-D/Static-Deadlock-Detector
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|