Browse Dept. of Computer Science by Subject "Formal Methods"

  • Tominaga, Kazuto (2004-03)
    The field of studies on complex systems is becoming one of the most active research areas in computer science. Among those systems, there is a type of system that has the following characteristics: comprising a large number ...

    application/pdf

    application/pdfPDF (170Kb)
  • Sun, Mu (2014-01-16)
    Formal methods have revolutionized software reliability and safety, and design patterns has revolutionized software reusability and modularity. However, the preciseness required for formal methods and the flexibility ...

    application/pdf

    application/pdfPDF (1Mb)
  • Vardhan, Abhay; Sen, Koushik; Viswanathan, Mahesh; Agha, Gul A. (2004-06)
    We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniques. We assume that we are given a model of ...

    application/pdf

    application/pdfPDF (336Kb)
  • Katelman, Michael (2012-02-06)
    This dissertation perceives a similarity between two activities: that of coordinating the search for simulation traces toward reaching verification closure, and that of coordinating the search for a proof within a theorem ...

    application/pdf

    application/pdfPDF (826Kb)
  • Chen, Feng; d'Amorim, Marcelo; Rosu, Grigore (2004-03)
    This paper presents a tool-supported methodological paradigm for object-oriented software development, called monitoring-oriented programming and abbreviated MOP, in which runtime monitoring is a basic software design ...

    application/pdf

    application/pdfPDF (462Kb)
  • Katelman, Michael (2010)
    This is the source code accompanying our HVC 2010 paper titled "vlogsl: A Strategy Language for Simulation-based Verification of Hardware"; it includes the source code for the vlogsl tool, as well as targets for all of the ...

    application/octet-stream

    application/octet-streamUnknown (674Kb)
  • Olveczky, Peter C.; Meseguer, Jose; Talcott, Carolyn L. (2004-08)
    This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast protocol components. Because of the ...

    application/pdf

    application/pdfPDF (631Kb)
  • Katelman, Michael; Meseguer, Jose (2009-06-03)
    The development of modern ICs requires a huge investment in RTL verification. This is a reflection of brisk release schedules and the complexity of contemporary chip designs. A major bottleneck to reaching verification ...

    application/pdf

    application/pdfPDF (229Kb)