Abstract
A large body of research on the logic of concurrent programs may be characterized as the “axiomatic” school. Members of this school reason about safety properties (“something bad never happens”) in terms of invariance, and liveness properties (“something good eventually does happen”) using temporal logic.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have