Publicações

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(es)

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.

Tipo de Documento

Proceedings Paper

Year published

2020

Publicado

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

Volume: 12233 LNCS, Páginas: 507-525

Conference

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

Indexing