Specifying a Linked Data Structure in JML for Formal Verification and Runtime Checking

Reviewed Paper In Proceedings

Author(s):Christoph Gladisch and Shmuel Tyszberowicz
In:Brazilian Symposium on Formal Methods (SBMF 2013)
Publisher:Springer
Series:LNCS
Volume:8195
Year:2013
DOI:10.1007/978-3-642-41071-0_8

BibTeX

@InProceedings{gladischTyszberowicz2013,
  author    = {Christoph Gladisch and Shmuel Tyszberowicz},
  title     = {Specifying a Linked Data Structure in JML for Formal Verification and Runtime Checking},
  booktitle = {Brazilian Symposium on Formal Methods (SBMF 2013)},
  editor    = {Leonardo de Moura and Juliano Iyoda},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {8195},
  year      = {2013},
  doi       = {10.1007/978-3-642-41071-0_8},
  month     = oct
}