Safety Without Stuttering
dc.contributor.author | Alpern, Bowen | en_US |
dc.contributor.author | Demers, Alan J. | en_US |
dc.contributor.author | Schneider, Fred B. | en_US |
dc.date.accessioned | 2007-04-23T17:11:22Z | |
dc.date.available | 2007-04-23T17:11:22Z | |
dc.date.issued | 1985-10 | en_US |
dc.description.abstract | 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. | en_US |
dc.format.extent | 364732 bytes | |
dc.format.extent | 293558 bytes | |
dc.format.mimetype | application/pdf | |
dc.format.mimetype | application/postscript | |
dc.identifier.citation | http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR85-708 | en_US |
dc.identifier.uri | https://hdl.handle.net/1813/6548 | |
dc.language.iso | en_US | en_US |
dc.publisher | Cornell University | en_US |
dc.subject | computer science | en_US |
dc.subject | technical report | en_US |
dc.title | Safety Without Stuttering | en_US |
dc.type | technical report | en_US |