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.