Work

Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures

Year: 2002

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/3-540-36135-9_4

Authors: Farn Wang, Karsten Schmidt

Institutions: Institute of Information Science, Academia Sinica, Academia Sinica, Carnegie Mellon University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funders: Academia Sinica, Defense Advanced Research Projects Agency

OpenAlex ID: W1511239995

FWCI: 1.229

Cites: 17

Cited by: 13

Related to: 10