Category:
Implementing and verifying release-acquire transactional memory in C11
November 2nd, 2022 by sadeghUnifying Operational Weak Memory Verification: An Axiomatic Approach
September 7th, 2022 by sadeghThe paper can be found here.
Integrating Owicki–Gries for C11-Style Memory Models into Isabelle/HOL
November 16th, 2021 by sadeghThe paper can be downloaded from here.
Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B
June 30th, 2020 by sadeghThe paper can be downloaded from here.