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)