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.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call