An Abstraction Technique for Verifying Shared-Memory Concurrency

Modern concurrent and distributed software is highly complex. Techniques to reason about the correct behaviour of such software are essential to ensure its reliability. To be able to reason about realistic programs, these techniques must be modular and compositional as well as practical by being sup...

Descrición completa

Detalles Bibliográficos
Main Authors: Wytse Oortwijn, Dilian Gurov, Marieke Huisman
Formato: Artigo
Idioma:English
Publicado: MDPI AG 2020-06-01
Series:Applied Sciences
Subjects:
Acceso en liña:https://www.mdpi.com/2076-3417/10/11/3928