CTL* Model Checking.
… or some other nice logic.
Possible algorithm idea for CTL*: use the standard explicit CTL algorithm, but with LTL formulas as atoms.
… or some other nice logic.
Possible algorithm idea for CTL*: use the standard explicit CTL algorithm, but with LTL formulas as atoms.