pallavij/PRETEX
Predictive typestate checking of concurrent Java programs
Discovered public repositories for pallavij in the GitHub catalog.
Predictive typestate checking of concurrent Java programs
Programmable testing of message orderings in distributed systems