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

Descripció completa

Dades bibliogràfiques
Autors principals:	Kaiser, A, Kroening, D, Wahl, T
Format:	Journal article
Publicat:	Association for Computing Machinery 2014

Ítems similars

Multithreading programming techniques /
per: 372664 Prasad, Shashi
Publicat: (1997)

Executing Multithreaded Programs Efficiently
per: Blumofe, Robert D.
Publicat: (2023)

Executing multithreaded programs efficiently
per: Blumofe, Robert D. (Robert David)
Publicat: (2005)

Systematic Testing of Multithreaded Programs
per: Bruening, Derek, et al.
Publicat: (2023)

Multithreading programming techniques / [disket]
per: 372664 Prasad, Shashi
Publicat: (1997)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Heterogeneous multithreaded computing
per: Lu, Howard J. (Howard Jason)
Publicat: (2007)

The JCilk multithreaded language
per: Lee, I-Ting Angelina
Publicat: (2006)

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

Managing Storage for Multithreaded Computations
per: Blumofe, Robert D.
Publicat: (2023)

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

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

Cilk : efficient multithreaded computing
per: Randall, Keith H. (Keith Harold)
Publicat: (2009)

Cilk: Efficient Multithreaded Computing
per: Randall, Keith H.
Publicat: (2023)

Performance Tradeoffs in Multithreaded Processors
per: Agarwal, Anant
Publicat: (2023)

Multithreaded design in the Athena environment
per: Hudson, Greg
Publicat: (2007)

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

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

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

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

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

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

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

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

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