Checkmate: A Generic Static Analyzer of Java Multithreaded Programs | IEEE Conference Publication | IEEE Xplore