Work

Verifying Dynamic Pointer-Manipulating Threads

Year: 2008

Type: conference-paper

Source: Springer eBooks

DOI: 10.1007/978-3-540-68237-0_8

Authors: Thomas Noll, Stefan Rieger

Institution: RWTH Aachen University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1493222783

FWCI: 0.698

Cites: 45

Cited by: 6

Related to: 10