Generating Bounded Counterexamples for KeY Proof Obligations

Master's Thesis

Author(s):Mihai Herda
School:Karlsruhe Institute of Technology
Year: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}
}