Generating Bounded Counterexamples for KeY Proof Obligations

Masterarbeit

Autor(en):Mihai Herda
Hochschule:Karlsruhe Institute of Technology
Jahr:2014

BibTeX

@mastersThesis{mihai-herda-thesis,
    author = {Mihai Herda},
    title  = {Generating Bounded Counterexamples for {\KeY} Proof Obligations},
    school = {Karlsruhe Institute of Technology},
    year   = {2014},
    month  = {January}
}