Open Systems Laboratory at Illinois

Learning to verify systems

By Abhay Vardhan. In Ph.D. Thesis, Dept. of Computer Science. 2006.

Full Text:
Download PDF

BibTeX

@inproceedings{AbhayPhD,
    author = "Vardhan, Abhay",
    title = "Learning To Verify Systems",
    booktitle = "Ph.D. Thesis, Dept. of Computer Science",
    keywords = "formal methods",
    year = "2006",
}