Generating JML Specifications from Alloy Expressions

Reviewed Paper In Proceedings

Author(s):Daniel Grunwald, Christoph Gladisch, Tianhai Liu, Mana Taghdiri, and Shmuel Tyszberowicz
In:10th International Haifa Verification Conference on Hardware and Software: Verification and Testing (HVC 2014)
Publisher:Springer
Series:Lecture Notes in Computer Science
Volume:8855
Year:2014
Pages:99-115
DOI:10.1007/978-3-319-13338-6_9

BibTeX

@inproceedings{DBLP:conf/hvc/GrunwaldGLTT14,
  author    = {Daniel Grunwald and
               Christoph Gladisch and
               Tianhai Liu and
               Mana Taghdiri and
               Shmuel Tyszberowicz},
  editor    = {Eran Yahav},
  title     = {Generating {JML} Specifications from Alloy Expressions},
  booktitle = {10th International Haifa Verification Conference on
	       Hardware and Software: Verification and Testing ({HVC} 2014)},
  series    = {Lecture Notes in Computer Science},
  volume    = {8855},
  pages     = {99--115},
  publisher = {Springer},
  year      = {2014},
  month     = nov,
  doi       = {10.1007/978-3-319-13338-6_9}
}