Model Checking Multithreaded Programs with Asynchronous Atomic Methods

DOI10.1007/11817963_29zbMath1188.68198OpenAlexW1563374799MaRDI QIDQ5756745

Mahesh Viswanathan, Koushik Sen

Publication date: 5 September 2007

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11817963_29

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (16)

Unnamed Item ⋮ General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond ⋮ Multiparty half-duplex systems and synchronous communications ⋮ Analyzing pushdown systems with stack manipulation ⋮ On the Reachability Analysis of Acyclic Networks of Pushdown Systems ⋮ Budget-bounded model-checking pushdown systems ⋮ Data flow analysis of asynchronous systems using infinite abstract domains ⋮ Unnamed Item ⋮ Deciding branching time properties for asynchronous programs ⋮ Realizability of Concurrent Recursive Programs ⋮ Context-Bounded Analysis of Concurrent Queue Systems ⋮ General decidability results for asynchronous shared-memory programs: higher-order and beyond ⋮ Reasoning about Threads with Bounded Lock Chains ⋮ Analyzing Real-Time Event-Driven Programs ⋮ Some complexity results for stateful network verification ⋮ Verification of Asynchronous Programs with Nested Locks

Uses Software

• SLAM

This page was built for publication: Model Checking Multithreaded Programs with Asynchronous Atomic Methods