On the Embedding of Multiway Decision Graphs in HOLPOMPES PAR TRANSITIONS MULTIPLES

منو

" On the Embedding of Multiway Decision Graphs in HOLPOMPES PAR TRANSITIONS MULTIPLES "

Document Type	:	Latin Dissertation
Language of Document	:	English
Record Number	:	153331
Doc. No	:	ET25123
Main Entry	:	Tarek Mhamdi
Title Proper	:	On the Embedding of Multiway Decision Graphs in HOLPOMPES PAR TRANSITIONS MULTIPLES
Note	:	This document is digital این مدرک بصورت الکترونیکی می باشد
Abstract	:	The increasing complexity of hardware systems requires more and more sophisticatedmethods of verification. While model checking suffers from the state space explosionproblem, theorem proving is quite tedious and impractical for verifying complex de-signs. In this thesis, we propose a verification framework.
Subject	:	Electericl tess
	:	برق
electronic file name	:	TL49341.pdf
Title and statement of responsibility and	:	On the Embedding of Multiway Decision Graphs in HOLPOMPES PAR TRANSITIONS MULTIPLES [Thesis]