GEM: A tool for concurrency specification and verification

  title={GEM: A tool for concurrency specification and verification},
  author={Amy L. Lansky and Susan S. Owicki},
  booktitle={PODC '83},
  • Amy L. Lansky, Susan S. Owicki
  • Published in PODC '83 1983
  • Computer Science
  • The GEM model of concurrent computation is presented. Each GEM computation consists of a set of partially ordered events, and represents a particular concurrent execution. Language primitives for concurrency, code segments, as well as concurrency problems may be described as logic formulae (restrictions) on the domain of possible GEM computations. An event-oriented method of program verification is also presented. GEM is unique in its ability to easily describe and reason about synchronization… CONTINUE READING