PrideMM: Second Order Model Checking for Memory Consistency Models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore, Mikolás Janota. PrideMM: Second Order Model Checking for Memory Consistency Models. In Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas, editors, Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II. Volume 12233 of Lecture Notes in Computer Science, pages 507-525, Springer, 2019. [doi]

This author has not been identified. Look up 'Simon Cooksey' in GoogleThis author has not been identified. Look up 'Sarah Harris' in GoogleThis author has not been identified. It may be one of the following persons:

Mark Batty

Look up 'Mark Batty' in GoogleThis author has not been identified. Look up 'Radu Grigore' in GoogleThis author has not been identified. Look up 'Mikolás Janota' in Google

runs on WebDSL