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

Detaylı Bibliyografya
Asıl Yazarlar:	Kaiser, A, Kroening, D, Wahl, T
Materyal Türü:	Journal article
Baskı/Yayın Bilgisi:	Association for Computing Machinery 2014

Benzer Materyaller

Multithreading programming techniques /
Yazar:: 372664 Prasad, Shashi
Baskı/Yayın Bilgisi: (1997)

Executing Multithreaded Programs Efficiently
Yazar:: Blumofe, Robert D.
Baskı/Yayın Bilgisi: (2023)

Executing multithreaded programs efficiently
Yazar:: Blumofe, Robert D. (Robert David)
Baskı/Yayın Bilgisi: (2005)

Systematic Testing of Multithreaded Programs
Yazar:: Bruening, Derek, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

Multithreading programming techniques / [disket]
Yazar:: 372664 Prasad, Shashi
Baskı/Yayın Bilgisi: (1997)

From Network Interface to Multithreaded Web Applications: A Case Study in Modular Program Verification
Yazar:: Chlipala, Adam
Baskı/Yayın Bilgisi: (2014)

From Network Interface to Multithreaded Web Applications: A Case Study in Modular Program Verification
Yazar:: Chlipala, Adam
Baskı/Yayın Bilgisi: (2015)

Systematic testing of multithreaded Java programs
Yazar:: Bruening, Derek L. (Derek Lane), 1976-
Baskı/Yayın Bilgisi: (2013)

Foundations of multithreaded, parallel and distributed programming /
Yazar:: 397015 Andrews, Gregory R.
Baskı/Yayın Bilgisi: (2000)

Debugging Multithreaded Programs as if They Were Sequential
Yazar:: Xiaodong Zhang, ve diğerleri
Baskı/Yayın Bilgisi: (2018-01-01)

Algorithms for data-race detection in multithreaded programs
Yazar:: Cheng, Guang-Ien, 1975-
Baskı/Yayın Bilgisi: (2009)

Algorithms for Data-Race Detection in Multithreaded Programs
Yazar:: Cheng, Guang-Ien
Baskı/Yayın Bilgisi: (2023)

Lost in abstraction: monotonicity in multi-threaded programs
Yazar:: Kaiser, A, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Lost in abstraction: monotonicity in multi-threaded programs
Yazar:: Kaiser, A, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Synchronisation− and Reversal−Bounded Analysis of Multithreaded Programs with Counters
Yazar:: Hague, M, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Approach to Solving Deadlock Problem in Multithreading Software
Yazar:: I. V. Parfilov, ve diğerleri
Baskı/Yayın Bilgisi: (2011-03-01)

Debugging Multithreaded Programs that Incorporate User-Level Locking
Yazar:: Stark, Andrew F.
Baskı/Yayın Bilgisi: (2023)

Debugging multithreaded programs that incorporate user-level locking
Yazar:: Stark, Andrew F. (Andrew Frederick), 1975-
Baskı/Yayın Bilgisi: (2010)

Compositional Pointer and Escape Analysis for Multithreaded Java Programs
Yazar:: Rinard, Martin, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

Permission-Based Separation Logic for Multithreaded Java Programs
Yazar:: Christian Haack, ve diğerleri
Baskı/Yayın Bilgisi: (2015-02-01)

Instrumentation and optimization of transactional sections execution in multithreaded programs
Yazar:: I. . Kulagin, ve diğerleri
Baskı/Yayın Bilgisi: (2018-10-01)

Heterogeneous multithreaded computing
Yazar:: Lu, Howard J. (Howard Jason)
Baskı/Yayın Bilgisi: (2007)

The JCilk multithreaded language
Yazar:: Lee, I-Ting Angelina
Baskı/Yayın Bilgisi: (2006)

Dead code elimination based pointer analysis for multithreaded programs
Yazar:: Mohamed A. El-Zawawy
Baskı/Yayın Bilgisi: (2012-04-01)

Managing Storage for Multithreaded Computations
Yazar:: Blumofe, Robert D.
Baskı/Yayın Bilgisi: (2023)

Accurate Theorem Proving for Program Verification
Yazar:: Cook, B, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

Design of multithreaded software : the entity-life modeling approach /
Yazar:: 288716 Sanden, Bo
Baskı/Yayın Bilgisi: (2011)

Cilk : efficient multithreaded computing
Yazar:: Randall, Keith H. (Keith Harold)
Baskı/Yayın Bilgisi: (2009)

Cilk: Efficient Multithreaded Computing
Yazar:: Randall, Keith H.
Baskı/Yayın Bilgisi: (2023)

Performance Tradeoffs in Multithreaded Processors
Yazar:: Agarwal, Anant
Baskı/Yayın Bilgisi: (2023)

Multithreaded design in the Athena environment
Yazar:: Hudson, Greg
Baskı/Yayın Bilgisi: (2007)

GRAPHICAL REPRESENTATIONS OF MULTITHREADED APPLICATIONS
Yazar:: Damian GIEBAS, ve diğerleri
Baskı/Yayın Bilgisi: (2018-06-01)

The ATLAS multithreaded offline framework
Yazar:: Kama Sami, ve diğerleri
Baskı/Yayın Bilgisi: (2019-01-01)

On-the-Fly Maintenance of Series-Parallel Relationships in Fork-Join Multithreaded Programs
Yazar:: Bender, Michael A., ve diğerleri
Baskı/Yayın Bilgisi: (2004)

Verification and Falsification of Programs with Loops Using Predicate Abstraction
Yazar:: Kroening, D, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Verification and falsification of programs with loops using predicate abstraction.
Yazar:: Kroening, D, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Hardware Verification using ANSI−C Programs as a Reference
Yazar:: Clarke, E, ve diğerleri
Baskı/Yayın Bilgisi: (2003)

Hardware verification using ANSI-C programs as a reference
Yazar:: Clarke, E, ve diğerleri
Baskı/Yayın Bilgisi: (2003)

Verification of Boolean Programs with Unbounded Thread Creation
Yazar:: Cook, B, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Verification of Boolean programs with unbounded thread creation.
Yazar:: Cook, B, ve diğerleri
Baskı/Yayın Bilgisi: (2007)