1. DSpace at My University
  2. 2. Ph.D Theses of IIT Kharagpur
  3. Computer Science & Engineering
  4. Formal Analysis of Property Specifications Consistency, Coverage and Synthesis
Please use this identifier to cite or link to this item: http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/13883
Full metadata record
DC FieldValueLanguage
dc.contributor.authorDas, Sayantan-
dc.date.accessioned2024-05-02T07:19:30Z-
dc.date.available2024-05-02T07:19:30Z-
dc.date.issued2006-10-
dc.identifier.govdocNB13463-
dc.identifier.govdocNB13751-
dc.identifier.urihttp://www.idr.iitkgp.ac.in/xmlui/handle/123456789/13883-
dc.language.isoenen_US
dc.publisherIIT Kharagpuren_US
dc.subjectSpecification Consistencyen_US
dc.subjectFormal Analysisen_US
dc.subjectSpecification Coverage Analysisen_US
dc.subjectLTL Satisfiabilityen_US
dc.subjectLTL Realizabilityen_US
dc.titleFormal Analysis of Property Specifications Consistency, Coverage and Synthesisen_US
dc.typeThesisen_US
Appears in Collections:Formal Analysis of Property Specifications Consistency, Coverage and Synthesis

Files in This Item:
File Description SizeFormat 
NB13463_Abstract.pdf2.43 MBAdobe PDFView/Open
NB13463_Thesis.pdf
  Restricted Access		3.98 MBAdobe PDFView/Open Request a copy
Show simple item record


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