dc.contributor.author | Banerjee, Ansuman | |
dc.date.accessioned | 2024-05-06T11:04:43Z | |
dc.date.available | 2024-05-06T11:04:43Z | |
dc.date.issued | 2007-08 | |
dc.identifier.govdoc | NB13466 | |
dc.identifier.uri | http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/14001 | |
dc.language.iso | en | en_US |
dc.publisher | IIT Kharagpur | en_US |
dc.subject | Temporal Operators | en_US |
dc.subject | Dynamic Property Verification (DPV) | en_US |
dc.subject | Temporal Logics | en_US |
dc.subject | LTL Model | en_US |
dc.subject | Temporal Operators | en_US |
dc.title | Formal Methods for Accelerating Formal, Semi-formal and Dynamic Property Verification through Novel Specification Styles | en_US |
dc.type | Thesis | en_US |