A Dynamic Logic for Deductive Verification of Concurrent Programs

Reviewed Paper In Proceedings

Author(s):Bernhard Beckert and Vladimir Klebanov
In:5th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007)
Publisher:IEEE Computer Society
Year:2007
Pages:141-150

BibTeX

@InProceedings{BeckertKlebanov2007,
  author    =    {Bernhard Beckert and Vladimir Klebanov},
  title     =    {A Dynamic Logic for Deductive Verification of
                  Concurrent Programs},
  booktitle =    {5th {IEEE} International Conference on Software Engineering
                  and Formal Methods ({SEFM} 2007)},
  editor    =    {Mike Hinchey and Tiziana Margaria},
  publisher =    {{IEEE} Computer Society},
  place     =    {London, England, {UK}},
  pages     =    {141--150},
  date      =    {September 10-14},
  month     =    sep,
  year      =    {2007}
}