Hi,
Thank you for your interest in this.
Please try to install and compile Modbat. I have moved Modbat to GitLab; the source is still the same, but we are working on updating the wiki:
The first choice will be to pair up JPF with Modbat in a usable way:
JPF main (on Java 8): Modbat has to be back-patched to support Java 8 (see the wiki). This changes one line of code in Modbat.
JPF for Java 11, branch `java-10-gradle`: This supports 98 % of Java 11 but not 100 %. Modbat supports Java 11 by default.
You will probably run into challenges running Modbat on JPF, but that's fine; getting it to start is enough at the proposal stage.
You'll have to think about how to configure JPF so it runs Modbat's "main" as the application with a model that exhibits concurrency when executed, so we can see all possible outcomes of the system being tested.