Java Model Checker

A general purpose Java model checker to check concurrent multi-threaded programs. Just annotate your tests


@JmcCheck
@JmcTimeout(10, ChronoUnit.SECONDS)
public void test() {
    MyTestProgram.main(new String[] { "arg1", "arg2" });
}