IDR - IIT Kharagpur

Formal Methods for Accelerating Formal, Semi-formal and Dynamic Property Verification through Novel Specification Styles

Show simple item record

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


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Advanced Search

Browse

My Account