Predictive safety analysis of concurrent programs

By Koushik Sen. In Master's thesis, Supervisor Gul Agha, University of Illinois at Urbana-Champaign, May. 2003.

Full Text:

Download PDF

BibTeX

@inproceedings{ksenms,
    author = "Sen, Koushik",
    title = "Predictive Safety Analysis of Concurrent Programs",
    booktitle = "Master's thesis, Supervisor Gul Agha,
                 University of Illinois at Urbana-Champaign, May",
    keywords = "formal methods, sensor networks, real-time systems,
                software engineering",
    year = "2003",
}