Safety without Stuttering.
CORNELL UNIV ITHACA NY DEPT OF COMPUTER SCIENCE
Pagination or Media Count:
A new formalization of safety properties is given. The formalization agrees with the informal definition - that a safety property stipulates that some bad thing doesnt happen during execution - for properties that are not invariant under stuttering, as well as for properties that are. Keywords Concurrent programming. Author
- Computer Systems