Examples with BoundedModelChecker de.bmoth.modelchecker.bmc.BoundedModelChecker used on opensource projects

Example 1 with BoundedModelChecker

use of de.bmoth.modelchecker.bmc.BoundedModelChecker in project bmoth by hhu-stups.

the class AppView method handleBounded.

public void handleBounded() {
    if (codeArea.getText().replaceAll("\\s+", "").length() > 0) {
        parseMachineNode();
        modelChecker = new BoundedModelChecker(machineNode, MAX_STEPS);
        checkwithChecker(modelChecker);
    }
}