ctl-formulae

There are 0 repository under ctl-formulae topic.

• jbretsch / modelcheck

  A Java library that allows you to check whether a given transition system (described as a Kripke structure) satisfies a given computation tree logic (CTL) formula.

  model-checkingctljavakripke-structurectl-formulaectl-formulassatisfies-propositionsatisfies
  Language:Java 3