Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

A Dynamic Logic for Deductive Verification of Multi-Threaded Programs

Journal Article
Author(s):Bernhard Beckert and Vladimir Klebanov
Journal:Formal Aspects of Computing
Publisher:Springer
Number:3
Volume:25
Year:2013
Pages:405-437

BibTeX

@article{BeckertKlebanov2013,
  author    = {Bernhard Beckert and
               Vladimir Klebanov},
  title     = {A {D}ynamic {L}ogic for Deductive Verification of Multi-Threaded
               Programs},
  journal   = {Formal Aspects of Computing},
  publisher = {Springer},
  issn      = {0934-5043},
  volume    = {25},
  number    = {3},
  year      = {2013},
  month     = may,
  pages     = {405-437}
}