Publications

PRIDEMM: Second Order Model Checking for Memory Consistency Models

AuthID
P-00S-N11

Author(s)

Cooksey, S

Harris, S

Batty, M

Grigore, R

Janota, M

Editor(s)

Sekerinski E.Moreira N.Oliveira J.N.Ratiu D.Guidotti R.Farrell M.Luckcuck M.Marmsoler D.Campos J.Astarte T.Gonnord L.Cerone A.Couto L.Dongol B.Kutrib M.Monteiro P.Delmas D.

Document Type

Proceedings Paper

Year published

2020

Published

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 12233 LNCS, Pages: 507-525

Conference

3Rd World Congress on Formal Methods, Fm 2019, Date: 7 October 2019 through 11 October 2019

Indexing