A Practical Model Checking Approach Using FormalcheckPOMPES PAR TRANSITIONS MULTIPLES

منو

" A Practical Model Checking Approach Using FormalcheckPOMPES PAR TRANSITIONS MULTIPLES "

Document Type	:	Latin Dissertation
Language of Document	:	English
Record Number	:	152402
Doc. No	:	ET24194
Main Entry	:	Leila Barakatain
Title Proper	:	A Practical Model Checking Approach Using FormalcheckPOMPES PAR TRANSITIONS MULTIPLES
Note	:	This document is digital این مدرک بصورت الکترونیکی می باشد
Abstract	:	Verification of industrial designs is becoming more challenging as technology advancesand demand for higher performance increases. One of the most suitable debugging aids isautomatic formal verification, which tests behaviors under all possible executions of a sys-.
Subject	:	Electericl tess
	:	برق
electronic file name	:	TL48396.pdf
Title and statement of responsibility and	:	A Practical Model Checking Approach Using FormalcheckPOMPES PAR TRANSITIONS MULTIPLES [Thesis]