Work

Model Checking Linearizability via Refinement

Year: 2009

Type: conference-paper

Source: Lecture notes in computer science

Parent work: FM 2009: Formal Methods

DOI: 10.1007/978-3-642-05089-3_21

Authors: Yang Liu, Wei Chen, Yanhong A. Liu, Jun Sun

Institutions: State University of New York, National University of Singapore, Stony Brook University, Microsoft Research Asia (China)

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2166580349

FWCI: 3.616

Cites: 39

Cited by: 55

Related to: 10