|
News:
Checkmate is a generic static analyzer of Java multithreaded programs based on the abstract interpretation theory. It supports all the most relevant features of Java multithreading, as dynamic unbounded thread creation, runtime creation and management of monitors, and dynamic allocation of shared memory.
From this page, you can download the analyzer together with some documentation, read some details about it, and subscribe the newsletter in order to be advised when new versions of Checkmate will be released.
Feel free to contact the author for any question, suggestion, bug you found, etc etc..
Checkmate by
Pietro Ferrara is licensed under a
Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 Unported License.
|
