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:: http://doi.ieeecomputersociety.org/10.1109/IPDPS.2004.1303336

BibTeX

@inproceedings{conf/ipps/BarringerGHS04,
    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 = "http://doi.ieeecomputersociety.org/10.1109/IPDPS.2004.1303336",
    keywords = "formal methods, software engineering",
    year = "2004",
}

@proceedings{conf/ipps/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",
}