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

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Kaiser, A, Kroening, D, Wahl, T
Formáid:	Journal article
Foilsithe / Cruthaithe:	Association for Computing Machinery 2014

Míreanna comhchosúla

Multithreading programming techniques /
de réir: 372664 Prasad, Shashi
Foilsithe / Cruthaithe: (1997)

Executing Multithreaded Programs Efficiently
de réir: Blumofe, Robert D.
Foilsithe / Cruthaithe: (2023)

Executing multithreaded programs efficiently
de réir: Blumofe, Robert D. (Robert David)
Foilsithe / Cruthaithe: (2005)

Systematic Testing of Multithreaded Programs
de réir: Bruening, Derek, et al.
Foilsithe / Cruthaithe: (2023)

Multithreading programming techniques / [disket]
de réir: 372664 Prasad, Shashi
Foilsithe / Cruthaithe: (1997)

From Network Interface to Multithreaded Web Applications: A Case Study in Modular Program Verification
de réir: Chlipala, Adam
Foilsithe / Cruthaithe: (2014)

From Network Interface to Multithreaded Web Applications: A Case Study in Modular Program Verification
de réir: Chlipala, Adam
Foilsithe / Cruthaithe: (2015)

Systematic testing of multithreaded Java programs
de réir: Bruening, Derek L. (Derek Lane), 1976-
Foilsithe / Cruthaithe: (2013)

Foundations of multithreaded, parallel and distributed programming /
de réir: 397015 Andrews, Gregory R.
Foilsithe / Cruthaithe: (2000)

Debugging Multithreaded Programs as if They Were Sequential
de réir: Xiaodong Zhang, et al.
Foilsithe / Cruthaithe: (2018-01-01)

Algorithms for data-race detection in multithreaded programs
de réir: Cheng, Guang-Ien, 1975-
Foilsithe / Cruthaithe: (2009)

Algorithms for Data-Race Detection in Multithreaded Programs
de réir: Cheng, Guang-Ien
Foilsithe / Cruthaithe: (2023)

Lost in abstraction: monotonicity in multi-threaded programs
de réir: Kaiser, A, et al.
Foilsithe / Cruthaithe: (2014)

Lost in abstraction: monotonicity in multi-threaded programs
de réir: Kaiser, A, et al.
Foilsithe / Cruthaithe: (2016)

Synchronisation− and Reversal−Bounded Analysis of Multithreaded Programs with Counters
de réir: Hague, M, et al.
Foilsithe / Cruthaithe: (2015)

Approach to Solving Deadlock Problem in Multithreading Software
de réir: I. V. Parfilov, et al.
Foilsithe / Cruthaithe: (2011-03-01)

Debugging Multithreaded Programs that Incorporate User-Level Locking
de réir: Stark, Andrew F.
Foilsithe / Cruthaithe: (2023)

Debugging multithreaded programs that incorporate user-level locking
de réir: Stark, Andrew F. (Andrew Frederick), 1975-
Foilsithe / Cruthaithe: (2010)

Compositional Pointer and Escape Analysis for Multithreaded Java Programs
de réir: Rinard, Martin, et al.
Foilsithe / Cruthaithe: (2023)

Permission-Based Separation Logic for Multithreaded Java Programs
de réir: Christian Haack, et al.
Foilsithe / Cruthaithe: (2015-02-01)

Instrumentation and optimization of transactional sections execution in multithreaded programs
de réir: I. . Kulagin, et al.
Foilsithe / Cruthaithe: (2018-10-01)

Heterogeneous multithreaded computing
de réir: Lu, Howard J. (Howard Jason)
Foilsithe / Cruthaithe: (2007)

The JCilk multithreaded language
de réir: Lee, I-Ting Angelina
Foilsithe / Cruthaithe: (2006)

Dead code elimination based pointer analysis for multithreaded programs
de réir: Mohamed A. El-Zawawy
Foilsithe / Cruthaithe: (2012-04-01)

Managing Storage for Multithreaded Computations
de réir: Blumofe, Robert D.
Foilsithe / Cruthaithe: (2023)

Accurate Theorem Proving for Program Verification
de réir: Cook, B, et al.
Foilsithe / Cruthaithe: (2006)

Design of multithreaded software : the entity-life modeling approach /
de réir: 288716 Sanden, Bo
Foilsithe / Cruthaithe: (2011)

Cilk : efficient multithreaded computing
de réir: Randall, Keith H. (Keith Harold)
Foilsithe / Cruthaithe: (2009)

Cilk: Efficient Multithreaded Computing
de réir: Randall, Keith H.
Foilsithe / Cruthaithe: (2023)

Performance Tradeoffs in Multithreaded Processors
de réir: Agarwal, Anant
Foilsithe / Cruthaithe: (2023)

Multithreaded design in the Athena environment
de réir: Hudson, Greg
Foilsithe / Cruthaithe: (2007)

GRAPHICAL REPRESENTATIONS OF MULTITHREADED APPLICATIONS
de réir: Damian GIEBAS, et al.
Foilsithe / Cruthaithe: (2018-06-01)

The ATLAS multithreaded offline framework
de réir: Kama Sami, et al.
Foilsithe / Cruthaithe: (2019-01-01)

On-the-Fly Maintenance of Series-Parallel Relationships in Fork-Join Multithreaded Programs
de réir: Bender, Michael A., et al.
Foilsithe / Cruthaithe: (2004)

Verification and Falsification of Programs with Loops Using Predicate Abstraction
de réir: Kroening, D, et al.
Foilsithe / Cruthaithe: (2009)

Verification and falsification of programs with loops using predicate abstraction.
de réir: Kroening, D, et al.
Foilsithe / Cruthaithe: (2010)

Hardware Verification using ANSI−C Programs as a Reference
de réir: Clarke, E, et al.
Foilsithe / Cruthaithe: (2003)

Hardware verification using ANSI-C programs as a reference
de réir: Clarke, E, et al.
Foilsithe / Cruthaithe: (2003)

Verification of Boolean Programs with Unbounded Thread Creation
de réir: Cook, B, et al.
Foilsithe / Cruthaithe: (2007)

Verification of Boolean programs with unbounded thread creation.
de réir: Cook, B, et al.
Foilsithe / Cruthaithe: (2007)