Model checking concurrent programs with nondeterminism and randomization
type: Item
instance of: scholarly article
zbMATH Open document ID: 1245.68132
publication date: 2012-08-29T00:00:00Z
full work available at URL: frontdoor b84b.html
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 6073546
zbMATH Keywords: view consistent scheduler
zbMATH Keywords: locally Markovian scheduler
zbMATH Keywords: model-checking
zbMATH Keywords: probabilistic program
MaRDI profile type: Publication
OpenAlex ID: W2117091339
title: Model checking concurrent programs with nondeterminism and randomization
DOI: 10.4230/LIPICS.FSTTCS.2010.364
Recommended article: Model Checking Concurrent Programs
Recommended article: On verifying that a concurrent program satisfies a nondeterministic specification
Recommended article: Model checking of probabilistic and nondeterministic systems
Recommended article: Computer Aided Verification
Recommended article: Q2958531
Recommended article: Tools and Algorithms for the Construction and Analysis of Systems
Recommended article: Modular verification of concurrent programs via sequential model checking
Recommended article: Model Checking of Concurrent Algorithms: From Java to C
author: Rohit Chadha
author: A. Prasad Sistla
author: Mahesh Viswanathan
description: scientific article; zbMATH DE number 6073546