Formalization of Safety and Liveness Tradeoffs

less than 1 minute read

NOTE These post series is merely a backup of some notes from my PhD sometime in 2016

Safety-Liveness Exclusion in Distributed Computing failed to answer it’s own question, as it relied on a total ordering of histories in the liveness set.

I wonder if I could use some SMT-ish thingy to try and tackle it from a different perspective?

Leave a Comment

Your email address will not be published. Required fields are marked *