Formal Methods for Accelerating Formal, Semi-formal and Dynamic Property Verification through Novel Specification Styles

dc.contributor.author	Banerjee, Ansuman
dc.date.accessioned	2024-05-06T11:04:43Z
dc.date.available	2024-05-06T11:04:43Z
dc.date.issued	2007-08
dc.identifier.govdoc	NB13466
dc.identifier.uri	http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/14001
dc.language.iso	en	en_US
dc.publisher	IIT Kharagpur	en_US
dc.subject	Temporal Operators	en_US
dc.subject	Dynamic Property Verification (DPV)	en_US
dc.subject	Temporal Logics	en_US
dc.subject	LTL Model	en_US
dc.subject	Temporal Operators	en_US
dc.title	Formal Methods for Accelerating Formal, Semi-formal and Dynamic Property Verification through Novel Specification Styles	en_US
dc.type	Thesis	en_US