Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Using Relational Verification for Program Slicing

Technical Report
Author(s):Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, and Mattias Ulbrich
Institution:Department of Informatics, Karlsruhe Institute of Technology
Publisher:KIT
Series:Karlsruhe Reports in Informatics ; 2019,5
Number:2019,5
Year: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}
}