Verifiable concurrent programming using concurrency controllers

@article{Can2004VerifiableCP,
  title={Verifiable concurrent programming using concurrency controllers},
  author={Aysu Betin Can and Tevfik Bultan},
  journal={Proceedings. 19th International Conference on Automated Software Engineering, 2004.},
  year={2004},
  pages={248-257}
}
We present a framework for verifiable concurrent programming in Java based on a design pattern for concurrency controllers. Using this pattern, a programmer can write concurrency controller classes defining a synchronization policy by specifying a set of guarded commands and without using any of the error-prone synchronization primitives of Java. We present a modular verification approach that exploits the modularity of the proposed pattern, i.e., decoupling of the controller behavior from the… CONTINUE READING
Highly Cited
This paper has 37 citations. REVIEW CITATIONS