Formal Methods for Accelerating Formal, Semi-formal and Dynamic Property Verification through Novel Specification Styles http://127.0.0.1/xmlui/handle/123456789/14000 2026-04-19T13:39:21Z 2026-04-19T13:39:21Z Formal Methods for Accelerating Formal, Semi-formal and Dynamic Property Verification through Novel Specification Styles Banerjee, Ansuman http://127.0.0.1/xmlui/handle/123456789/14001 2024-05-06T11:05:30Z 2007-08-01T00:00:00Z Formal Methods for Accelerating Formal, Semi-formal and Dynamic Property Verification through Novel Specification Styles Banerjee, Ansuman 2007-08-01T00:00:00Z