Formal Analysis of Property Specifications Consistency, Coverage and Synthesis

dc.contributor.author	Das, Sayantan
dc.date.accessioned	2024-05-02T07:19:30Z
dc.date.available	2024-05-02T07:19:30Z
dc.date.issued	2006-10
dc.identifier.govdoc	NB13463
dc.identifier.govdoc	NB13751
dc.identifier.uri	http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/13883
dc.language.iso	en	en_US
dc.publisher	IIT Kharagpur	en_US
dc.subject	Specification Consistency	en_US
dc.subject	Formal Analysis	en_US
dc.subject	Specification Coverage Analysis	en_US
dc.subject	LTL Satisfiability	en_US
dc.subject	LTL Realizability	en_US
dc.title	Formal Analysis of Property Specifications Consistency, Coverage and Synthesis	en_US
dc.type	Thesis	en_US