PAPERS

Title:A Case Study in Model Checking Software Systems
Links:Homepage
Document as Postscript
Authors:Jeannette M. Wing EMail
Mandana Vaziri-Farahani
Remarks:
Topics:

Bibtex:

@article{WVF97,
  AUTHOR    = { Wing, Jeannette M.
                and Vaziri-Farahani, Mandana },
  TITLE     = { A Case Study in Model Checking Software Systems },
  YEAR      = { 1997 },
  PAGES     = { 273--299 },
  JOURNAL   = { Science of Computer Programming },
  VOLUME    = { 28 },
}

We welcome feedback and comments at kroening@cs.cmu.edu.
Last modified by Daniel Kröning.