Recognizing safety and liveness

This publication has 9 references indexed in Scilit:

• Verification of concurrent programs: the automata-theoretic framework*
  Annals of Pure and Applied Logic, 1991
• Recognizing safety and liveness
  Distributed Computing, 1987
• Safety without stuttering
  Information Processing Letters, 1986
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• Defining liveness
  Information Processing Letters, 1985
• On characterization of safety and liveness properties in temporal logic
  Published by Association for Computing Machinery (ACM) ,1985
• The glory of the past
  Published by Springer Nature ,1985
• Temporal logic can be more expressive
  Information and Control, 1983
• Proving the Correctness of Multiprocess Programs
  IEEE Transactions on Software Engineering, 1977