A SAT-based bounded model-checker for three-valued abstractions of concurrent software systems
To run the tool, execute the following command in the same directory as the JAR:
java -jar TVMC.jar <inputfile> <bound>
<inputfile> refers to the JSON file containing the control flow graph.
<bound> is the maximum bound (eg. 20)
Either use Intellj to build the artifact or use mvn package