Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Veröffentlichungen

Using Relational Verification for Program Slicing

Technischer Bericht
Autor(en):Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch und Mattias Ulbrich
Institution:Department of Informatics, Karlsruhe Institute of Technology
Verleger:KIT
Reihe:Karlsruhe Reports in Informatics ; 2019,5
Nummer:2019,5
Jahr:2019
DOI:10.5445/IR/1000093895

BibTeX

@techreport{Slicing19,
    title       = {Using Relational Verification for Program Slicing},
    series      = {Karlsruhe Reports in Informatics ; 2019,5},
    number      = {2019,5},
    institution = {Department of Informatics, Karlsruhe Institute of Technology},
    author      = {Bernhard Beckert and Thorsten Bormer and Stephan Gocht and Mihai Herda and Daniel Lentzsch and Mattias Ulbrich},
    address     = {Karlsruhe},
    publisher   = {KIT},
    year        = {2019},
    month       = apr,
    doi         = {10.5445/IR/1000093895}
}