Examples with KInductionModelChecker de.bmoth.modelchecker.kind.KInductionModelChecker used on opensource projects

Example 1 with KInductionModelChecker

use of de.bmoth.modelchecker.kind.KInductionModelChecker in project bmoth by hhu-stups.

the class AppView method handleKInduct.

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