Work

Model checking unbounded concurrent lists

Year: 2015

Type: article

Source: International Journal on Software Tools for Technology Transfer

DOI: 10.1007/s10009-015-0369-y

Authors: Divjyot Sethi, Muralidhar Talupur, Sharad Malik

Institutions: Princeton University, Intel (United States)

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2077718288

FWCI: 0.304

Cites: 41

Cited by: 1

Related to: 10