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
Title: Formal Analysis of Property Specifications Consistency, Coverage and Synthesis
Authors: Das, Sayantan
Keywords: Specification Consistency
Formal Analysis
Specification Coverage Analysis
LTL Satisfiability
LTL Realizability
Issue Date: Oct-2006
Publisher: IIT Kharagpur
Gov't Doc #: NB13463
NB13751
URI: http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/13883
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 full item record


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