Accession Number:

ADA164795

Title:

Safety without Stuttering.

Descriptive Note:

Interim rept.,

Corporate Author:

CORNELL UNIV ITHACA NY DEPT OF COMPUTER SCIENCE

Report Date:

1985-10-01

Pagination or Media Count:

7.0

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 doesnt happen during execution - for properties that are not invariant under stuttering, as well as for properties that are. Keywords Concurrent programming. Author

Subject Categories:

  • Computer Systems

Distribution Statement:

APPROVED FOR PUBLIC RELEASE