3 ms·Thanks that's helpful I'll take a look at model checking.by jmkr 2y agoThanks that's helpful I'll take a look at model checking.