Institute Of Mathematical Sciences, Chennai, Tamil nadu
Project Overview
The project aims to explore efficient methods for formally verifying concurrent programs in weak memory models, specifically in the total store order memory model, and to investigate this process when combined with persistent memory.
Source
Source
Science and Engineering Research Board (SERB), DST 2022-23
Institute Of Mathematical Sciences, Chennai, Tamil nadu
Accessibility Controls