Browse Dissertations and Theses - Computer Science by Author "Vardhan, Abhay"

  • Vardhan, Abhay (2006)
    We show how the learning-based verification paradigm can be applied to a number of systems and for different kinds of specifications. First, we use learning to verify safety properties of finite state machines communicating ...


    application/pdfPDF (4MB)Restricted to U of Illinois