Accelerating Multi-Property Formal Verification with Intrinsic Planning

dc.contributor.author	Das, Sourav
dc.date.accessioned	2026-07-07T04:58:48Z
dc.date.available	2026-07-07T04:58:48Z
dc.date.issued	2026-06
dc.identifier.govdoc	NB19283
dc.identifier.uri	http://127.0.0.1/xmlui/handle/123456789/17535
dc.language.iso	en	en_US
dc.publisher	IIT Kharagpur	en_US
dc.subject	Multi-Property Verification	en_US
dc.subject	Property Ordering	en_US
dc.subject	Property Clustering	en_US
dc.subject	Property Sweeping	en_US
dc.subject	Invariant Sharing	en_US
dc.title	Accelerating Multi-Property Formal Verification with Intrinsic Planning	en_US
dc.type	Thesis	en_US