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
About
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.
Patents
0
Source
Source
Science and Engineering Research Board (SERB), DST 2022-23
Science and Engineering Research Board (SERB), New Delhi
Anusandhan National Research Foundation (ANRF)
Quick Information
Area of Research
Mathematical Sciences
Start Year
2023
End Year
2026
Sanction Amount
₹ 6.60 L
Status
Ongoing
Contact
prakashs@imsc.res.in
Output
No. of Research Paper
00
Technologies (If Any)
00
No. of PhD Produced
00
No. of Patents
Filed :00
Grant :00
Disclaimer:
Information available on this portal is sourced from various organizations and is provided for informational purposes only. Users are advised to verify details from the respective official sources.
Please enter your details
Please provide your name and email to continue. Your details are saved in this browser for future use.
Latest Updates
Loading…
⚠️
You are leaving this website
You are about to be redirected to an external website that is not operated by
India Science, Technology & Innovation (ISTI) Portal.
Institute Of Mathematical Sciences, Chennai, Tamil nadu
Acces sibility Controls