On Proving Alloy Specifications using KeY

Technical Report

Author(s):Mattias Ulbrich, Ulrich Geilmann, Aboubakr Achraf El Ghazi, and Mana Taghdiri
Institution:Department of Informatics, Karlsruhe Institute of Technology
Series:Karlsruhe Reports in Informatics
Number:2011,37
Year:2011
DOI:10.5445/IR/1000025523

BibTeX

@TechReport{ulbrichGeilmannElGhaziTaghdiri2011,
  title       = {On Proving Alloy Specifications using {\KeY}},
  author      = {Mattias Ulbrich and
                 Ulrich Geilmann and
                 Aboubakr Achraf {El Ghazi} and
                 Mana Taghdiri},
  institution = {Department of Informatics,
                 Karlsruhe Institute of Technology},
  year        = {2011},
  month       = dec,
  series      = {Karlsruhe Reports in Informatics},
  number      = {2011,37},
  doi         = {10.5445/IR/1000025523},
  issn        = {2190-4782}
}