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

Bibliografski detalji
Glavni autori:	Kaiser, A, Kroening, D, Wahl, T
Format:	Journal article
Izdano:	Association for Computing Machinery 2014

Slični predmeti

Multithreading programming techniques /
od: 372664 Prasad, Shashi
Izdano: (1997)

Executing Multithreaded Programs Efficiently
od: Blumofe, Robert D.
Izdano: (2023)

Executing multithreaded programs efficiently
od: Blumofe, Robert D. (Robert David)
Izdano: (2005)

Systematic Testing of Multithreaded Programs
od: Bruening, Derek, i dr.
Izdano: (2023)

Multithreading programming techniques / [disket]
od: 372664 Prasad, Shashi
Izdano: (1997)

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

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

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

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

Debugging Multithreaded Programs as if They Were Sequential
od: Xiaodong Zhang, i dr.
Izdano: (2018-01-01)

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

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

Lost in abstraction: monotonicity in multi-threaded programs
od: Kaiser, A, i dr.
Izdano: (2014)

Lost in abstraction: monotonicity in multi-threaded programs
od: Kaiser, A, i dr.
Izdano: (2016)

Synchronisation− and Reversal−Bounded Analysis of Multithreaded Programs with Counters
od: Hague, M, i dr.
Izdano: (2015)

Approach to Solving Deadlock Problem in Multithreading Software
od: I. V. Parfilov, i dr.
Izdano: (2011-03-01)

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

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

Compositional Pointer and Escape Analysis for Multithreaded Java Programs
od: Rinard, Martin, i dr.
Izdano: (2023)

Permission-Based Separation Logic for Multithreaded Java Programs
od: Christian Haack, i dr.
Izdano: (2015-02-01)

Instrumentation and optimization of transactional sections execution in multithreaded programs
od: I. . Kulagin, i dr.
Izdano: (2018-10-01)

Heterogeneous multithreaded computing
od: Lu, Howard J. (Howard Jason)
Izdano: (2007)

The JCilk multithreaded language
od: Lee, I-Ting Angelina
Izdano: (2006)

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

Managing Storage for Multithreaded Computations
od: Blumofe, Robert D.
Izdano: (2023)

Accurate Theorem Proving for Program Verification
od: Cook, B, i dr.
Izdano: (2006)

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

Cilk : efficient multithreaded computing
od: Randall, Keith H. (Keith Harold)
Izdano: (2009)

Cilk: Efficient Multithreaded Computing
od: Randall, Keith H.
Izdano: (2023)

Performance Tradeoffs in Multithreaded Processors
od: Agarwal, Anant
Izdano: (2023)

Multithreaded design in the Athena environment
od: Hudson, Greg
Izdano: (2007)

GRAPHICAL REPRESENTATIONS OF MULTITHREADED APPLICATIONS
od: Damian GIEBAS, i dr.
Izdano: (2018-06-01)

The ATLAS multithreaded offline framework
od: Kama Sami, i dr.
Izdano: (2019-01-01)

On-the-Fly Maintenance of Series-Parallel Relationships in Fork-Join Multithreaded Programs
od: Bender, Michael A., i dr.
Izdano: (2004)

Verification and Falsification of Programs with Loops Using Predicate Abstraction
od: Kroening, D, i dr.
Izdano: (2009)

Verification and falsification of programs with loops using predicate abstraction.
od: Kroening, D, i dr.
Izdano: (2010)

Hardware Verification using ANSI−C Programs as a Reference
od: Clarke, E, i dr.
Izdano: (2003)

Hardware verification using ANSI-C programs as a reference
od: Clarke, E, i dr.
Izdano: (2003)

Verification of Boolean Programs with Unbounded Thread Creation
od: Cook, B, i dr.
Izdano: (2007)

Verification of Boolean programs with unbounded thread creation.
od: Cook, B, i dr.
Izdano: (2007)