Kripke structure

1. REDIRECT Kripke structure (model checking)

{{Redirect category shell|

{{R from move}}

}}