tlooto
Sign up
Computer Science

Recognizing safety and liveness

B. Alpern, F. Schneider

2005DISTRIBUTED COMPUTING

DOI: 10.1007/bf01782772

tlooto Summary

A formal characterization for safety properties and liveness properties is given in terms of the structure of the Buchi automaton that specifies the property.

Abstract

Abstract is not available.

Citation format

ALPERN, B.; SCHNEIDER, F. Recognizing safety and liveness. DISTRIBUTED COMPUTING, 2005, 2: 117–126.