1. DSpace at My University
  2. 2. Ph.D Theses of IIT Kharagpur
  3. Computer Science & Engineering
  4. Formal Verification of Liveness Properties of Distributed System Protocols by Model Checking
Please use this identifier to cite or link to this item: http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/4955
Full metadata record
DC FieldValueLanguage
dc.contributor.authorSamanta, Tapas-
dc.date.accessioned2015-09-17T12:02:43Z-
dc.date.available2015-09-17T12:02:43Z-
dc.date.issued2015-02-
dc.identifier.govdocNB15158-
dc.identifier.urihttp://www.idr.iitkgp.ac.in/xmlui/handle/123456789/4955-
dc.language.isoenen
dc.publisherIIT Kharagpuren
dc.subjectParametric Verificationen
dc.subjectDistributed Protocolen
dc.subjectFormula Decompositionen
dc.subjectSemantic Tableauen
dc.subjectBackward Reasoningen
dc.subjectModel Checkingen
dc.subjectFormal Verificationen
dc.titleFormal Verification of Liveness Properties of Distributed System Protocols by Model Checkingen
dc.typeThesisen
Appears in Collections:Formal Verification of Liveness Properties of Distributed System Protocols by Model Checking

Files in This Item:
File Description SizeFormat 
NB15158_Abstract.pdf106.57 kBAdobe PDFThumbnail
View/Open
NB15158_Thesis.pdf
  Restricted Access		1.81 MBAdobe PDFView/Open Request a copy
Show simple item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.