Compositional Bitvector Analysis for Concurrent Programs with Nested Locks

DOI10.1007/978-3-642-15769-1_16MaRDI QIDQ4930732zbMATH OpenOpenAlexFDO

Authors Azadeh Farzan, Zachary Kincaid

Publication date 1 October 2010

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15769-1_16

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Verification of asynchronous programs with nested locks
• scientific article; zbMATH DE number 5954655
• Interprocedural Analysis of Concurrent Programs Under a Context Bound
• Compositional and local livelock analysis for CSP
• Compositional reasoning for shared-variable concurrent programs
• Compositional Nonblocking Verification Using Generalized Nonblocking Abstractions
• Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous
• Compositional non-interference for concurrent programs via separation and framing
• scientific article; zbMATH DE number 522852
• Concurrency verification. Introduction to compositional and noncompositional methods

Cited in

(6)

• Model checking concurrent programs
• Lifting numeric relational domains to algebraic data types
• Dataflow analysis for datarace-free programs
• scientific article; zbMATH DE number 522852 (Why is no real title available?)
• Nested, but separate: isolating unrelated critical sections in real-time nested locking
• scientific article; zbMATH DE number 5954655 (Why is no real title available?)

This page was built for publication: Compositional Bitvector Analysis for Concurrent Programs with Nested Locks

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