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)