• Jonathan Shahen's avatar
    Setting up Heuristics to make quicker decisions without having to convert to... · 38a4c5bc
    Jonathan Shahen authored
    Setting up Heuristics to make quicker decisions without having to convert to NuSMv and without having to run it through the NuSMv SAT solver
    Heuristic #1: returns GOAL_UNREACHABLE if the SPC role cannot be found in the target role of any CA rule (see heuristic1.spec for an example)
    Heuristic #2: return GOAL_REACHABLE if there is a CA rule that has the target role equal to the SPEC role and that rule is 'startable' (ONLY negative preconditions or TRUE)
    38a4c5bc
heuristic1.spec 404 Bytes