Open iTitus opened 10 months ago
Currently, the LTL-Checker for Safety-Properties ignores the state limit.
Expected behaviour: checking is interrupted after X states and a "not finished"-result is returned, similar to normal model checking.
Currently, the LTL-Checker for Safety-Properties ignores the state limit.
Expected behaviour: checking is interrupted after X states and a "not finished"-result is returned, similar to normal model checking.