Verifying multi-threaded software with impact

Verifying multi-threaded software with impact

他のバージョン（1件）を表示する

Lazy abstraction with interpolants, also known as the Impact algorithm, is en vogue as a state-of-the-art software model-checking technique for sequential programs. However, a direct extension of the Impact algorithm to concurrent programs is bound to be inefficient as it has to explore all thread i...

書誌詳細
主要な著者:	Wachter, B, Kroening, D, Ouaknine, J
フォーマット:	Conference item
出版事項:	IEEE 2013

類似資料

Verifying Multi−threaded Software with Impact
著者:: Wachter, B, 等
出版事項: (2013)

Verified software: theories, tools and experiments.
著者:: Kroening, D, 等
出版事項: (2010)

Lost in abstraction: monotonicity in multi-threaded programs
著者:: Kaiser, A, 等
出版事項: (2016)

Lost in abstraction: monotonicity in multi-threaded programs
著者:: Kaiser, A, 等
出版事項: (2014)

The ideal of verified software
著者:: Hoare, T
出版事項: (2006)

The Ideal of Verified Software
著者:: Hoare, T
出版事項: (2006)

The verified software repository: a step towards the verifying compiler
著者:: Bicarregui, J, 等
出版事項: (2006)

Specifying and Verifying Systems with Multiple Clocks
著者:: Clarke, E, 等
出版事項: (2003)

Specifying and verifying systems with multiple clocks
著者:: 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)

Over−Approximating Boolean Programs with Unbounded Thread Creation
著者:: Cook, B, 等
出版事項: (2006)

Verifying Digital Systems with MATLAB
著者:: Chaves, L, 等
出版事項: (2017)

Verifying digital systems with MATLAB
著者:: Chaves, L, 等
出版事項: (2017)

The verified software initiative: A manifesto
著者:: Hoare, C, 等
出版事項: (2009)

Verifying C++ with STL Containers via Predicate Abstraction
著者:: Blanc, N, 等
出版事項: (2007)

Towards verifiable and safe model-free reinforcement learning
著者:: Hasanbeig, M, 等
出版事項: (2020)

Verifying C++ with STL containers via predicate abstraction
著者:: Blanc, N, 等
出版事項: (2007)

Formalizing and checking thread refinement for data-race-free execution models
著者:: Poetzl, D, 等
出版事項: (2016)

Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models
著者:: Kroening, D, 等
出版事項: (2016)

Verified Software: Theories‚ Tools‚ Experiments
著者:: Hoare, T
出版事項: (2008)

The Hob system for verifying software design properties
著者:: Lam, Patrick, Ph. D. Massachusetts Institute of Technology
出版事項: (2007)

Word Level Predicate Abstraction and Refinement for Verifying RTL Verilog
著者:: Jain, H, 等
出版事項: (2008)

Word Level Predicate Abstraction and Refinement for Verifying RTL Verilog
著者:: Jain, H, 等
出版事項: (2005)

Word level predicate abstraction and refinement for verifying RTL verilog
著者:: Jain, H, 等
出版事項: (2005)

Using simplex method in verifying software safety
著者:: Vujošević-Janičić Milena, 等
出版事項: (2009-01-01)

Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog.
著者:: Jain, H, 等
出版事項: (2008)

Word-level predicate-abstraction and refinement rechniques for verifying RTL Verilog
著者:: Jain, H, 等
出版事項: (2008)

Multi-Threaded Actors
著者:: Keyvan Azadbakht, 等
出版事項: (2016-08-01)

Modeling software system to verify identity through iris
出版事項: (2012-12-01)

JBMC: a bounded model checking tool for verifying Java bytecode
著者:: Cordeiro, L, 等
出版事項: (2018)

A MULTI THREADED FEATURE EXTRACTION TOOL FOR SAR IMAGES USING OPEN SOURCE SOFTWARE LIBRARIES
著者:: C. Bipin, 等
出版事項: (2018-11-01)

Software Model Checking with Explicit Scheduler and Symbolic Threads
著者:: Alessandro Cimatti, 等
出版事項: (2012-08-01)

Multi-Thread Based Design of Navigation Algorithm Module in Multi Radio Integrated Navigation System M&S Software
著者:: Son Jae Hoon, 等
出版事項: (2019-01-01)

Hardware Software Co-Design for Multi-Threaded Computation on RISC-V-Based Multicore System
著者:: Binh Kieu-do-Nguyen, 等
出版事項: (2024-01-01)

Parallel assignments in software model checking
著者:: Ouaknine, J
出版事項: (2006)

Towards the ’Verified Verifier’. Theory and Practice
著者:: D. A. Kondratyev, 等
出版事項: (2014-12-01)

FERNANDO: A Software Transient Fault Tolerance Approach for Embedded Systems Based on Redundant Multi-Threading
著者:: Haotian Wu, 等
出版事項: (2021-01-01)

Verified Software: Theories‚ Tools‚ Experiments Vision of a Grand Challenge Project
著者:: Hoare, T, 等
出版事項: (2005)

Multi-Threading Elliptic Curve Cryptosystems.
著者:: Kanniah, Uma S., 等
出版事項: (2007)