Thesis (M.S.)--Worcester Polytechnic Institute. / Keywords: modular verification; feature-oriented software development; model checking; assume-guarantee reasoning. Includes bibliographical references (p. 72-73).
| Identifer | oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/57622232 |
| Date | January 2004 |
| Creators | Wang, Xiaoning. |
| Source Sets | OCLC |
| Language | English |
| Detected Language | English |
| Source | Link to electronic thesis. |
Page generated in 0.0021 seconds