Detail

MoTH: Practical Verification of High-Level Dataraces in Transactional Memory Programs

MoTH allows to detect atomicity violation in transactional memory Java-based programs that execute in strong atomicity, through static analysis of the Java bytecode programs. MoTH is an extensible and flexible framework, which can be extended with plugins that detect specific types of anomalies.