Do We Need Liveness? - Approximation of Liveness Properties by Safety Properties
SOFSEM '02 Proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Computer-aided Support for Secure Tropos
Automated Software Engineering
A temporal logic for mutual mobile membranes with objects on surface
Computation, cooperation, and life
| Hi-index | 0.00 |
Formal characterizations for safety properties and liveness properties are given in terms of the structure of the Buchi automaton that specifies the property. The characterizations permit a property to be decomposed into a safety property and a liveness property whose conjunction is the original. The characterizations also give insight into techniques required to prove a large class of safety and liveness properties.