Using theorem proving and algorithmic decision procedures for large-scale system verification

Description

Thesis (Ph. D.)--University of Texas at Austin, 2005. / Vita. Includes bibliographical references.

Links & Downloads

1. http://repositories.lib.utexas.edu/bitstream/handle/2152/2286/rays14658.pdf

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/70959957
Date	January 1900
Creators	Ray, Sandip,
Publisher	[Austin, Tex. : University of Texas Libraries,
Source Sets	OCLC
Language	English
Detected Language	English