Browse Research and Tech Reports - 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)
  • Saxena, Manasvi; Chen, Xiaohong; Rodrigues, Nishant; Rosu, Grigore (2020)
    Hybrid Automata (HA) form the backbone of modeling systems with both discrete and continuous components. However, the semantics of HA are usually described loosely using Labeled Transition Systems (LTS), and reasoning ...

    application/pdf

    application/pdfPDF (369kB)
  • 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)
  • 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, José; 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, José (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)