Stateless Model Checking for TSO and PSO

DOI10.1007/978-3-662-46681-0_28zbMath1420.68115arXiv1501.02069OpenAlexW1719093023MaRDI QIDQ5194956

Carl Leonardsson, Mohamed Faouzi Atig, Stavros Aronis, Konstantinos Sagonas, Bengt Jonsson, Parosh Aziz Abdulla

Publication date: 17 September 2019

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1501.02069

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Unifying Operational Weak Memory Verification: An Axiomatic Approach ⋮ CCA-Secure Keyed-Fully Homomorphic Encryption ⋮ Quasi-optimal partial order reduction

This page was built for publication: Stateless Model Checking for TSO and PSO