Title: Theory / Unimportant / CS / Fundamental / Model Checking / LTL

Definition: The expansion of \(\phi\) in terms elementary subformulae
Page: 5
Section: 4
Variables: \(\phi\) a LTL formula
Notation: \(E(\phi)\)

Definition: The set of minterms of \(E(\phi)\)
Page: 5
Section: 4
Variables: \(\phi\) a LTL formula
Notation: \(M(\phi)\)

Name: The set of prime implicants of \(E(\phi)\)
Page: 5
Section: 4
Variables: \(\phi\) a LTL formula
Abbreviation: \(P(\phi)\)