seer-lab/TIE

A Thread Interleaving Explorer for Java Pathfinder (JPF).

TIE - Thread Interleaving Visualizer
A Java PathFinder (JPF) Extension

Gowritharan Maheswara, Jeremy S. Bradbury, Christopher Collins
University of Ontario Institute of Technology

Version 1.01
License: TBD