Combining complementary formal verification strategies to improve performance and accuracy

Description

Thesis (Ph. D.)--West Virginia University, 2007. / Title from document title page. Document formatted into pages; contains xi, 129 p. : ill. Includes abstract. Includes bibliographical references (p. 125-129).

Links & Downloads

1. https://eidr.wvu.edu/etd/documentdata.eTD?documentid=5261

Tags

Computer software Software engineering.

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/155843823
Date	January 1900
Creators	Owen, David R.
Publisher	Morgantown, W. Va. : [West Virginia University Libraries],
Source Sets	OCLC
Language	English
Detected Language	English