Synchronised Shared Memory and Model Checking : A Proof of Concept

Aguado, JoaquinJoaquinAguadoDuenas, AlejandraAlejandraDuenas2025-11-112025-11-112021978-1-6654-1825-6978-1-6654-1826-3https://fis.uni-bamberg.de/handle/uniba/111238engSynchronised Shared Memory and Model Checking : A Proof of Conceptconferenceobject10.1109/fdl53530.2021.9568373https://ieeexplore.ieee.org/document/9568373