Skip to main content
2 events
when toggle format what by license comment
Nov 27, 2023 at 6:11 comment added Kai You could use a proof system (e.g. Pnueli & Kesten's paper in CONCUR 2002 for the richer CTL${}^*$) or ask a model checker such as nuSMV.
Nov 26, 2023 at 21:48 history asked JobHunter69 CC BY-SA 4.0