1. DSpace at My University
  2. 2. Ph.D Theses of IIT Kharagpur
  3. Computer Science & Engineering
  4. Formal Methods for Accelerating Formal, Semi-formal and Dynamic Property Verification through Novel Specification Styles
Please use this identifier to cite or link to this item: http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/14001
Full metadata record
DC FieldValueLanguage
dc.contributor.authorBanerjee, Ansuman-
dc.date.accessioned2024-05-06T11:04:43Z-
dc.date.available2024-05-06T11:04:43Z-
dc.date.issued2007-08-
dc.identifier.govdocNB13466-
dc.identifier.urihttp://www.idr.iitkgp.ac.in/xmlui/handle/123456789/14001-
dc.language.isoenen_US
dc.publisherIIT Kharagpuren_US
dc.subjectTemporal Operatorsen_US
dc.subjectDynamic Property Verification (DPV)en_US
dc.subjectTemporal Logicsen_US
dc.subjectLTL Modelen_US
dc.subjectTemporal Operatorsen_US
dc.titleFormal Methods for Accelerating Formal, Semi-formal and Dynamic Property Verification through Novel Specification Stylesen_US
dc.typeThesisen_US
Appears in Collections:Formal Methods for Accelerating Formal, Semi-formal and Dynamic Property Verification through Novel Specification Styles

Files in This Item:
File Description SizeFormat 
NB13466_Abstract.pdf52.39 kBAdobe PDFView/Open
NB13466_Thesis.pdf
  Restricted Access		1.33 MBAdobe PDFView/Open Request a copy
Show simple item record


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