Formal Methods for Architectural Power Intent Verification and Functional Reliability Analysis http://127.0.0.1/xmlui/handle/123456789/5541 2026-04-17T18:51:36Z Formal Methods for Architectural Power Intent Verification and Functional Reliability Analysis http://127.0.0.1/xmlui/handle/123456789/5542 Formal Methods for Architectural Power Intent Verification and Functional Reliability Analysis Hazra, Aritra 2015-03-01T00:00:00Z