A simple model-checking algorithm with a CTL* (CTL star) parser for temporal formulas.
Primary LanguageC