CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
Home Page FCT/UNL UNL
  Home  \  Prototypes  \  Prototype Page Login  
   
banner bottom
File Top
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.



Authors: João Lourenço, Ricardo Dias
File Bottom