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...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Kaiser, A, Kroening, D, Wahl, T
Fformat:	Journal article
Cyhoeddwyd:	Association for Computing Machinery 2014

Eitemau Tebyg

Multithreading programming techniques /
gan: 372664 Prasad, Shashi
Cyhoeddwyd: (1997)

Executing Multithreaded Programs Efficiently
gan: Blumofe, Robert D.
Cyhoeddwyd: (2023)

Executing multithreaded programs efficiently
gan: Blumofe, Robert D. (Robert David)
Cyhoeddwyd: (2005)

Systematic Testing of Multithreaded Programs
gan: Bruening, Derek, et al.
Cyhoeddwyd: (2023)

Multithreading programming techniques / [disket]
gan: 372664 Prasad, Shashi
Cyhoeddwyd: (1997)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Heterogeneous multithreaded computing
gan: Lu, Howard J. (Howard Jason)
Cyhoeddwyd: (2007)

The JCilk multithreaded language
gan: Lee, I-Ting Angelina
Cyhoeddwyd: (2006)

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

Managing Storage for Multithreaded Computations
gan: Blumofe, Robert D.
Cyhoeddwyd: (2023)

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

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

Cilk : efficient multithreaded computing
gan: Randall, Keith H. (Keith Harold)
Cyhoeddwyd: (2009)

Cilk: Efficient Multithreaded Computing
gan: Randall, Keith H.
Cyhoeddwyd: (2023)

Performance Tradeoffs in Multithreaded Processors
gan: Agarwal, Anant
Cyhoeddwyd: (2023)

Multithreaded design in the Athena environment
gan: Hudson, Greg
Cyhoeddwyd: (2007)

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

The ATLAS multithreaded offline framework
gan: Kama Sami, et al.
Cyhoeddwyd: (2019-01-01)

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

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

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

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

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

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

Verification of Boolean programs with unbounded thread creation.
gan: Cook, B, et al.
Cyhoeddwyd: (2007)