Deductive Mechanical Verication of Concurrent Systems

منو

" Deductive Mechanical Verication of Concurrent Systems "

Document Type	:	Latin Dissertation
Language of Document	:	English
Record Number	:	149828
Doc. No	:	ET21620
Main Entry	:	Robert W. Sumners, B.S., M.S.
Title Proper	:	Deductive Mechanical Verication of Concurrent Systems
Note	:	This document is digital این مدرک بصورت الکترونیکی می باشد
Abstract	:	Society depends critically on the correct and ecient execution of computer programs.The requirements of correctness and eciency are not independent or complimentary.The goal of eciency often engenders complexity in the design, denition,and execution of computer programs which complicates the analysis of correctness.Modern computing systems support increased performance by providing multipleexecution units operating in parallel and ecient programs utilize this support forparallel execution by decomposing computation sequences into multiple concurrentinteracting threads of execution. The concurrency introduced in these programsexacerbates the diculty of verifying the correct operation of the programs since itgreatly increases the possible states the threaded execution may reach.viii.tested for theQ1 PC1 bus cardBoth these projects mere sofixare des elopment efforts tonards contributing to dlfferentaspects of Roboucs and lZ1echatronics projects m the Controls and Roboucs Group..
Subject	:	Electericl tess
	:	برق
electronic file name	:	TL44797.pdf
Title and statement of responsibility and	:	Deductive Mechanical Verication of Concurrent Systems [Thesis]