Safety Without Stuttering
Alpern, Bowen; Demers, Alan J.; Schneider, Fred B.
A new formalization of safety properties is given. The formalization agrees with the informal definition - that a safety property stipulates that some "bad thing" doesn't happen during execution - for properties that are not invariant under stuttering, as well as for properties that are.
computer science; technical report
Previously Published As