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

Полное описание

Библиографические подробности
Главные авторы:	Kaiser, A, Kroening, D, Wahl, T
Формат:	Journal article
Опубликовано:	Association for Computing Machinery 2014

Схожие документы

Multithreading programming techniques /
по: 372664 Prasad, Shashi
Опубликовано: (1997)

Executing Multithreaded Programs Efficiently
по: Blumofe, Robert D.
Опубликовано: (2023)

Executing multithreaded programs efficiently
по: Blumofe, Robert D. (Robert David)
Опубликовано: (2005)

Systematic Testing of Multithreaded Programs
по: Bruening, Derek, и др.
Опубликовано: (2023)

Multithreading programming techniques / [disket]
по: 372664 Prasad, Shashi
Опубликовано: (1997)

From Network Interface to Multithreaded Web Applications: A Case Study in Modular Program Verification
по: Chlipala, Adam
Опубликовано: (2014)

From Network Interface to Multithreaded Web Applications: A Case Study in Modular Program Verification
по: Chlipala, Adam
Опубликовано: (2015)

Systematic testing of multithreaded Java programs
по: Bruening, Derek L. (Derek Lane), 1976-
Опубликовано: (2013)

Foundations of multithreaded, parallel and distributed programming /
по: 397015 Andrews, Gregory R.
Опубликовано: (2000)

Debugging Multithreaded Programs as if They Were Sequential
по: Xiaodong Zhang, и др.
Опубликовано: (2018-01-01)

Algorithms for data-race detection in multithreaded programs
по: Cheng, Guang-Ien, 1975-
Опубликовано: (2009)

Algorithms for Data-Race Detection in Multithreaded Programs
по: Cheng, Guang-Ien
Опубликовано: (2023)

Lost in abstraction: monotonicity in multi-threaded programs
по: Kaiser, A, и др.
Опубликовано: (2014)

Lost in abstraction: monotonicity in multi-threaded programs
по: Kaiser, A, и др.
Опубликовано: (2016)

Synchronisation− and Reversal−Bounded Analysis of Multithreaded Programs with Counters
по: Hague, M, и др.
Опубликовано: (2015)

Approach to Solving Deadlock Problem in Multithreading Software
по: I. V. Parfilov, и др.
Опубликовано: (2011-03-01)

Debugging Multithreaded Programs that Incorporate User-Level Locking
по: Stark, Andrew F.
Опубликовано: (2023)

Debugging multithreaded programs that incorporate user-level locking
по: Stark, Andrew F. (Andrew Frederick), 1975-
Опубликовано: (2010)

Compositional Pointer and Escape Analysis for Multithreaded Java Programs
по: Rinard, Martin, и др.
Опубликовано: (2023)

Permission-Based Separation Logic for Multithreaded Java Programs
по: Christian Haack, и др.
Опубликовано: (2015-02-01)

Instrumentation and optimization of transactional sections execution in multithreaded programs
по: I. . Kulagin, и др.
Опубликовано: (2018-10-01)

Heterogeneous multithreaded computing
по: Lu, Howard J. (Howard Jason)
Опубликовано: (2007)

The JCilk multithreaded language
по: Lee, I-Ting Angelina
Опубликовано: (2006)

Dead code elimination based pointer analysis for multithreaded programs
по: Mohamed A. El-Zawawy
Опубликовано: (2012-04-01)

Managing Storage for Multithreaded Computations
по: Blumofe, Robert D.
Опубликовано: (2023)

Accurate Theorem Proving for Program Verification
по: Cook, B, и др.
Опубликовано: (2006)

Design of multithreaded software : the entity-life modeling approach /
по: 288716 Sanden, Bo
Опубликовано: (2011)

Cilk : efficient multithreaded computing
по: Randall, Keith H. (Keith Harold)
Опубликовано: (2009)

Cilk: Efficient Multithreaded Computing
по: Randall, Keith H.
Опубликовано: (2023)

Performance Tradeoffs in Multithreaded Processors
по: Agarwal, Anant
Опубликовано: (2023)

Multithreaded design in the Athena environment
по: Hudson, Greg
Опубликовано: (2007)

GRAPHICAL REPRESENTATIONS OF MULTITHREADED APPLICATIONS
по: Damian GIEBAS, и др.
Опубликовано: (2018-06-01)

The ATLAS multithreaded offline framework
по: Kama Sami, и др.
Опубликовано: (2019-01-01)

On-the-Fly Maintenance of Series-Parallel Relationships in Fork-Join Multithreaded Programs
по: Bender, Michael A., и др.
Опубликовано: (2004)

Verification and Falsification of Programs with Loops Using Predicate Abstraction
по: Kroening, D, и др.
Опубликовано: (2009)

Verification and falsification of programs with loops using predicate abstraction.
по: Kroening, D, и др.
Опубликовано: (2010)

Hardware Verification using ANSI−C Programs as a Reference
по: Clarke, E, и др.
Опубликовано: (2003)

Hardware verification using ANSI-C programs as a reference
по: Clarke, E, и др.
Опубликовано: (2003)

Verification of Boolean Programs with Unbounded Thread Creation
по: Cook, B, и др.
Опубликовано: (2007)

Verification of Boolean programs with unbounded thread creation.
по: Cook, B, и др.
Опубликовано: (2007)