Return to search

A counterexample guided abstraction refinement framework for verifying concurrent C programs /

Thesis (Ph. D.)--Carnegie Mellon University, 2005. / "May 24, 2005." Includes bibliographical references.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/61146082
Date January 1900
CreatorsChaki, Sagar.
PublisherPittsburgh, Pa. : School of Computer Science, Carnegie Mellon University,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0021 seconds