A compliance notation for verifying concurrent systems

Abstract

The compliance notation provides a practical system where both formal and informal techniques can be employed in software verification. The notation has been successfully applied in verifying some industrial safety-critical systems, but currently it has no support for verifying concurrent systems. This research aims to extend the compliance notation with appropriate support for verifying concurrent systems.

BibTeX

@inproceedings{Atiya-King:ICSE02,
  author    = {D. M. Atiya and
               S. King},
  title     = {A compliance notation for verifying concurrent systems},
  booktitle = {ICSE},
  pages     = {731--732},
  publisher = {{ACM}},
  year      = {2002},
}

A compliance notation for verifying concurrent systems

Abstract

Related papers