computation tree logic

listen to the pronunciation of computation tree logic
English - English
A particular modal logic of branching time with operators "next", "globally", "finally" or "eventually", "until", and "weak until"
CTL
computation tree logic
Favorites