Symmetric symbolic safety-analysis of concurrent software with pointer data structures

DOI10.1007/3-540-36135-9_4MaRDI QIDQ4422066zbMATH OpenFDO

Authors Farn Wang, Karsten Schmidt

Publication date 3 September 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2529/25290050.htm

zbMATH Keywords

data-structurespointerssymbolic model-checkingSymmetry

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Safety and Liveness in Concurrent Pointer Programs
• Automatic verification of pointer data-structure systems for all numbers of processes
• Counterexample-guided abstraction refinement for symmetric concurrent programs
• scientific article; zbMATH DE number 1418460
• Symbolic memory with pointers

Cited in

(3)

• Symbolic memory with pointers
• scientific article; zbMATH DE number 522852 (Why is no real title available?)
• Automatic verification of pointer data-structure systems for all numbers of processes

This page was built for publication: Symmetric symbolic safety-analysis of concurrent software with pointer data structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4422066)