A widening approach to multithreaded program verification

A widening approach to multithreaded program verification

Pthread-style multithreaded programs feature rich thread communication mechanisms, such as shared variables, signals, and broadcasts. In this article, we consider the automated verification of such programs where an unknown number of threads execute a given finite-data procedure in parallel. Such pr...

Fuld beskrivelse

Bibliografiske detaljer
Main Authors:	Kaiser, A, Kroening, D, Wahl, T
Format:	Journal article
Udgivet:	Association for Computing Machinery 2014

Lignende værker

Multithreading programming techniques /
af: 372664 Prasad, Shashi
Udgivet: (1997)

Executing Multithreaded Programs Efficiently
af: Blumofe, Robert D.
Udgivet: (2023)

Executing multithreaded programs efficiently
af: Blumofe, Robert D. (Robert David)
Udgivet: (2005)

Systematic Testing of Multithreaded Programs
af: Bruening, Derek, et al.
Udgivet: (2023)

Multithreading programming techniques / [disket]
af: 372664 Prasad, Shashi
Udgivet: (1997)

From Network Interface to Multithreaded Web Applications: A Case Study in Modular Program Verification
af: Chlipala, Adam
Udgivet: (2014)

From Network Interface to Multithreaded Web Applications: A Case Study in Modular Program Verification
af: Chlipala, Adam
Udgivet: (2015)

Systematic testing of multithreaded Java programs
af: Bruening, Derek L. (Derek Lane), 1976-
Udgivet: (2013)

Foundations of multithreaded, parallel and distributed programming /
af: 397015 Andrews, Gregory R.
Udgivet: (2000)

Debugging Multithreaded Programs as if They Were Sequential
af: Xiaodong Zhang, et al.
Udgivet: (2018-01-01)

Algorithms for data-race detection in multithreaded programs
af: Cheng, Guang-Ien, 1975-
Udgivet: (2009)

Algorithms for Data-Race Detection in Multithreaded Programs
af: Cheng, Guang-Ien
Udgivet: (2023)

Lost in abstraction: monotonicity in multi-threaded programs
af: Kaiser, A, et al.
Udgivet: (2014)

Lost in abstraction: monotonicity in multi-threaded programs
af: Kaiser, A, et al.
Udgivet: (2016)

Synchronisation− and Reversal−Bounded Analysis of Multithreaded Programs with Counters
af: Hague, M, et al.
Udgivet: (2015)

Approach to Solving Deadlock Problem in Multithreading Software
af: I. V. Parfilov, et al.
Udgivet: (2011-03-01)

Debugging Multithreaded Programs that Incorporate User-Level Locking
af: Stark, Andrew F.
Udgivet: (2023)

Debugging multithreaded programs that incorporate user-level locking
af: Stark, Andrew F. (Andrew Frederick), 1975-
Udgivet: (2010)

Compositional Pointer and Escape Analysis for Multithreaded Java Programs
af: Rinard, Martin, et al.
Udgivet: (2023)

Permission-Based Separation Logic for Multithreaded Java Programs
af: Christian Haack, et al.
Udgivet: (2015-02-01)

Instrumentation and optimization of transactional sections execution in multithreaded programs
af: I. . Kulagin, et al.
Udgivet: (2018-10-01)

Heterogeneous multithreaded computing
af: Lu, Howard J. (Howard Jason)
Udgivet: (2007)

The JCilk multithreaded language
af: Lee, I-Ting Angelina
Udgivet: (2006)

Dead code elimination based pointer analysis for multithreaded programs
af: Mohamed A. El-Zawawy
Udgivet: (2012-04-01)

Managing Storage for Multithreaded Computations
af: Blumofe, Robert D.
Udgivet: (2023)

Design of multithreaded software : the entity-life modeling approach /
af: 288716 Sanden, Bo
Udgivet: (2011)

Cilk : efficient multithreaded computing
af: Randall, Keith H. (Keith Harold)
Udgivet: (2009)

Cilk: Efficient Multithreaded Computing
af: Randall, Keith H.
Udgivet: (2023)

Performance Tradeoffs in Multithreaded Processors
af: Agarwal, Anant
Udgivet: (2023)

Multithreaded design in the Athena environment
af: Hudson, Greg
Udgivet: (2007)

GRAPHICAL REPRESENTATIONS OF MULTITHREADED APPLICATIONS
af: Damian GIEBAS, et al.
Udgivet: (2018-06-01)

On-the-Fly Maintenance of Series-Parallel Relationships in Fork-Join Multithreaded Programs
af: Bender, Michael A., et al.
Udgivet: (2004)

Accurate Theorem Proving for Program Verification
af: Cook, B, et al.
Udgivet: (2006)

Cilk: An Efficient Multithreaded Runtime System
af: Blumofe, Robert D., et al.
Udgivet: (2023)

Verification and Falsification of Programs with Loops Using Predicate Abstraction
af: Kroening, D, et al.
Udgivet: (2009)

Verification and falsification of programs with loops using predicate abstraction.
af: Kroening, D, et al.
Udgivet: (2010)

Hardware Verification using ANSI−C Programs as a Reference
af: Clarke, E, et al.
Udgivet: (2003)

Hardware verification using ANSI-C programs as a reference
af: Clarke, E, et al.
Udgivet: (2003)

Open multithreaded transactions : a transaction model for concurrent object-oriented programming /
af: 180519 Kienzle, Jorg
Udgivet: (2003)

Verification of Boolean Programs with Unbounded Thread Creation
af: Cook, B, et al.
Udgivet: (2007)