Reordering control approaches to state explosion in model checking with memory consistency models
type: Item
instance of: scholarly article
title: Reordering control approaches to state explosion in model checking with memory consistency models
zbMATH Open document ID: 1403.68120
DOI: 10.1007/978-3-319-72308-2_11
author: Tatsuya Abe
author: Tomoharu Ugawa
author: Toshiyuki Maeda
publication date: 2018-12-07T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N19
zbMATH DE Number: 6990590
zbMATH Keywords: software model checking
zbMATH Keywords: relaxed memory consistency model
zbMATH Keywords: state explosion
zbMATH Keywords: instruction reordering control
zbMATH Keywords: concurrent program examination
MaRDI profile type: Publication
full work available at URL: 978-3-319-72308-2 11
OpenAlex ID: W2773729624
Recommended article: Effective state exploration for model checking on a shared memory architecture
Recommended article: Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
Recommended article: Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model
Recommended article: A parametric analysis of the state-explosion problem in model checking
Recommended article: Q4736876
Recommended article: Projecting transition systems: overcoming state explosion in concurrent system verification
Recommended article: Model Checking – My 27-Year Quest to Overcome the State Explosion Problem
Recommended article: Model Checking Software
description: scientific article; zbMATH DE number 6990590