On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach

Renyan Feng, Erman Acar, Stefan Schlobach +2

Computation Tree Logic (CTL) is one of the central formalisms in formal verification. As a specification language, it is used to express a property that the system at hand is expec…