Safety without Stuttering.

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. Keywords: Concurrent programming. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 1985
Accession Number
ADA164795

Entities

People

  • Alan J. Demers
  • Bowen Alpern
  • Fred B. Schneider

Organizations

  • Cornell University

Tags

DTIC Thesaurus Topics

  • Computer Programming
  • Computer Science
  • Computers
  • Instructions
  • Military Research
  • Neurobehavioral Manifestations
  • New York
  • Notation
  • Polyethylenes
  • Sequences
  • Universities
  • Verification

Readers

  • Aviation Safety Risk Assessment.
  • Educational Psychology
  • Software Engineering.