@shachaf I find the terminology a bit confusing and I'm still not sure of the best way to square some of my intuitions with the formalism but FWIW this seems to be the standard definitions in model checking and related areas.
=> More informations about this toot | View the thread | More toots from pervognsen@mastodon.social
text/geminiThis content has been proxied by September (ba2dc).