Verification of Concurrent Programs in Weak Memory Models
Implementing Organization
Institute Of Mathematical Sciences, Chennai, Tamil nadu
Principal Investigator
Dr. Prakash Saivasan
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.
Institute Of Mathematical Sciences, Chennai, Tamil nadu
Acces sibility Controls