Timeline for How do I prove relations of two CTL formulas?
Current License: CC BY-SA 4.0
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 |