Stateless model checking for TSO and PSO
type: Item
instance of: scholarly article
title: Stateless model checking for TSO and PSO
zbMATH Open document ID: 1380.68265
author: Parosh A. Abdulla
author: Stavros Aronis
author: Mohamed Faouzi Atig
author: Bengt Jonsson
author: Carl Leonardsson
author: K. Sagonas
published in: Acta Informatica
publication date: 2017-12-01T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 6815085
describes a project that uses: veriSoft
describes a project that uses: Checkfence
MaRDI profile type: Publication
full work available at URL: s00236-016-0275-0
OpenAlex ID: W2466104094
cites work: Optimal dynamic partial order reduction
cites work: Counter-Example Guided Fence Insertion under TSO
cites work: Software Verification for Weak Memory via Program Transformation
cites work: Analyses and optimizations for shared address space programs.
cites work: Checking and Enforcing Robustness against TSO
cites work: Effective Program Verification for Relaxed Memory Models
cites work: Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models
cites work: State space reduction using partial order techniques
cites work: Dynamic partial-order reduction for model checking software
cites work: Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
cites work: Q3771629
cites work: Myths about the mutual exclusion problem
DOI: 10.1007/S00236-016-0275-0
description: scientific article; zbMATH DE number 6815085