Open Systems Laboratory at Illinois

Program monitoring with ltl in eagle

By Howard Barringer, Allen Goldberg, Klaus Havelund, and Koushik Sen. In IPDPS. IEEE Computer Society, 2004.

Full Text:
Download PDF
Publisher Link:


    author = "Barringer, Howard and Goldberg, Allen and Havelund,
              Klaus and Sen, Koushik",
    title = "Program Monitoring with LTL in EAGLE",
    booktitle = "IPDPS",
    crossref = "conf/ipps/2004",
    ee = "",
    keywords = "formal methods, software engineering",
    year = "2004",

    title = "18th International Parallel and Distributed Processing
             Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30
             April 2004, Santa Fe, New Mexico, USA",
    isbn = "0-7695-2132-0",
    publisher = "IEEE Computer Society",
    year = "2004",