Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOL - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sadegh Dalvandi, Brijesh Dongol, Simon Doherty, Heike Wehrheim. Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOL. Journal of Automated Reasoning, 66(1):141-171, 2022. [doi]

This author has not been identified. Look up 'Sadegh Dalvandi' in GoogleThis author has not been identified. Look up 'Brijesh Dongol' in GoogleThis author has not been identified. Look up 'Simon Doherty' in GoogleThis author has not been identified. Look up 'Heike Wehrheim' in Google

runs on WebDSL