Formal Verification of Liveness Properties of Distributed System Protocols by Model Checking

dc.contributor.author	Samanta, Tapas
dc.date.accessioned	2015-09-17T12:02:43Z
dc.date.available	2015-09-17T12:02:43Z
dc.date.issued	2015-02
dc.identifier.govdoc	NB15158
dc.identifier.uri	http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/4955
dc.language.iso	en	en
dc.publisher	IIT Kharagpur	en
dc.subject	Parametric Verification	en
dc.subject	Distributed Protocol	en
dc.subject	Formula Decomposition	en
dc.subject	Semantic Tableau	en
dc.subject	Backward Reasoning	en
dc.subject	Model Checking	en
dc.subject	Formal Verification	en
dc.title	Formal Verification of Liveness Properties of Distributed System Protocols by Model Checking	en
dc.type	Thesis	en