@zwarich @tmyklebu This reminds me that reachability of states is something you can express in CTL but not in LTL, e.g. the classic resetability property for sequential circuits where you want every state reachable from an initial state to be able to reach a designated reset state.
=> More informations about this toot | View the thread | More toots from pervognsen@mastodon.social
=> View zwarich@hachyderm.io profile | View tmyklebu@mastodon.gamedev.place profile
text/geminiThis content has been proxied by September (3851b).