Browse Dissertations and Theses - Computer Science by Author "Mahdian, Peyman"

  • Mahdian, Peyman (2017-07-17)
    We show a new approach in learning conjunctive invariants using dynamic testing of the program. Coming up with correct set of loop invariant is the most challenging part of any verification methods. Although new methods ...

    application/pdf

    application/pdfPDF (350kB)