João Lourenço

Changing the world, one student at a time…

Computer Science Department, NOVA School of Science and Technology, NOVA University Lisbon, Quinta da Torre, P-2829-516 CAPARICA, Portugal — joao.lourenco [AT] fct [DOT] unl [DOT] pt (email)

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

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

Download: https://docentes.fct.unl.pt/sites/default/files/joao-lourenco/files/moth.tgz
md5 hash: a8f126e36b98d2b47104c50cc481181e
Size: 5.58 MB

First publicly available release of MoTH.

João Lourenço

Changing the world, one student at a time…

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

Software Releases