Conference paper
Graph attribution as a specification paradigm
Bowen Alpern, Alan Carle, et al.
ACM SIGSOFT/SIGPLAN SDE 1988
A formal characterization for safety properties and liveness properties is 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. © 1987 Springer-Verlag.
Bowen Alpern, Alan Carle, et al.
ACM SIGSOFT/SIGPLAN SDE 1988
Bowen Alpern, Anthony Cocchi, et al.
OOPSLA 2001
Bowen Alpern, Anthony Cocchi, et al.
ACM SIGPLAN Notices
Darrell Reimer, Edith Schonberg, et al.
ISSTA 2004