Techniques for formal verification of concurrent and distributed program traces

Not available === text

Bibliographic Details
Main Author: Sen, Mehmet Alper
Format: Others
Language:English
Published: 2008
Subjects:
Online Access:http://hdl.handle.net/2152/2189
id ndltd-UTEXAS-oai-repositories.lib.utexas.edu-2152-2189
record_format oai_dc
spelling ndltd-UTEXAS-oai-repositories.lib.utexas.edu-2152-21892015-09-20T16:50:33ZTechniques for formal verification of concurrent and distributed program tracesSen, Mehmet AlperComputer programs--VerificationComputer algorithmsNot availabletext2008-08-28T22:36:57Z2008-08-28T22:36:57Z20042008-08-28T22:36:57ZThesistextelectronicb60841084http://hdl.handle.net/2152/2189691383683145349b60841084engCopyright is held by the author. Presentation of this material on the Libraries' web site by University Libraries, The University of Texas at Austin was made possible under a limited license grant from the author who has retained all copyrights in the works.
collection NDLTD
language English
format Others
sources NDLTD
topic Computer programs--Verification
Computer algorithms
spellingShingle Computer programs--Verification
Computer algorithms
Sen, Mehmet Alper
Techniques for formal verification of concurrent and distributed program traces
description Not available === text
author Sen, Mehmet Alper
author_facet Sen, Mehmet Alper
author_sort Sen, Mehmet Alper
title Techniques for formal verification of concurrent and distributed program traces
title_short Techniques for formal verification of concurrent and distributed program traces
title_full Techniques for formal verification of concurrent and distributed program traces
title_fullStr Techniques for formal verification of concurrent and distributed program traces
title_full_unstemmed Techniques for formal verification of concurrent and distributed program traces
title_sort techniques for formal verification of concurrent and distributed program traces
publishDate 2008
url http://hdl.handle.net/2152/2189
work_keys_str_mv AT senmehmetalper techniquesforformalverificationofconcurrentanddistributedprogramtraces
_version_ 1716820137305178112