Home  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

Praxis der Forschung

SemSlice: Exploiting Relational Verification for Automatic Program Slicing

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch und Mattias Ulbrich
In:13th International Conference on integrated Formal Methods (iFM 2017)
Verleger:Springer
Jahr:2017

BibTeX

@InProceedings{BBGHLU17,
  author       = {Bernhard Beckert and Thorsten Bormer and Stephan
                  Gocht and Mihai Herda and Daniel Lentzsch and
                  Mattias Ulbrich},
  title        = {{SemSlice}: Exploiting Relational Verification for
                  Automatic Program Slicing},
  booktitle    = {13th International Conference on integrated Formal
                  Methods ({iFM} 2017)},
  publisher    = {Springer},
  year         = {2017},
  place        = {Torino, Italy},
  month        = sep,
  date         = {September 18-22}
}