Skip to main content

A Constructive Approach to Reliable Synchronization Code

M. S. Laventhal

Publisher page dblp

No abstract available.

BibTeX

@inproceedings{Laventhal:ICSE79,
  author    = {M. S. Laventhal},
  title     = {A Constructive Approach to Reliable Synchronization Code},
  booktitle = {ICSE},
  pages     = {194--202},
  publisher = {{IEEE} Computer Society},
  year      = {1979},
}

Related papers

The cyclefree methodology: a simple approach to building reliable, robust, real-time systems ICSE 2002
Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic TOPLAS 2016
Unfriendly COTS Integration-Instrumentation and Interfaces for Improved Plugability ASE 2001
Extending AspectJ for separating regions GPCE 2009
Invariant-based specification, synthesis, and verification of synchronization in concurrent programs ICSE 2002
AutoPA: automatically generating active driver from original passive driver code CGO 2018
Test Sequences Generation from LUSTRE Descriptions: GATeL ASE 2000
Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs CAV 2005