Context-aware counter abstraction.

Context-aware counter abstraction.

The trend towards multi-core computing has made concurrent software an important target of computer-aided verification. Unfortunately, Model Checkers for such software suffer tremendously from combinatorial state space explosion. We show how to apply counter abstraction to real-world concurrent prog...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Basler, G, Mazzucchi, M, Wahl, T, Kroening, D
Formáid:	Journal article
Teanga:	English
Foilsithe / Cruthaithe:	2010

Míreanna comhchosúla

VCEGAR: Verilog CounterExample Guided Abstraction Refinement
de réir: Jain, H, et al.
Foilsithe / Cruthaithe: (2007)

Strengthening properties using abstraction refinement
de réir: Purandare, M, et al.
Foilsithe / Cruthaithe: (2009)

Lost in abstraction: monotonicity in multi-threaded programs
de réir: Kaiser, A, et al.
Foilsithe / Cruthaithe: (2016)

Lost in abstraction: monotonicity in multi-threaded programs
de réir: Kaiser, A, et al.
Foilsithe / Cruthaithe: (2014)

Counter abstraction in the CSP/FDR setting
de réir: Mazur, T, et al.
Foilsithe / Cruthaithe: (2009)

Counter Abstraction in the CSP/FDR setting
de réir: Mazur, T, et al.
Foilsithe / Cruthaithe: (2007)

The complexity of regular abstractions of one-counter languages
de réir: Atig, M, et al.
Foilsithe / Cruthaithe: (2016)

BOOM: Taking Boolean program model checking one step further
de réir: Basler, G, et al.
Foilsithe / Cruthaithe: (2010)

Counterexamples with Loops for Predicate Abstraction
de réir: Kroening, D, et al.
Foilsithe / Cruthaithe: (2006)

Abstraction of Syntax
de réir: D'Silva, V, et al.
Foilsithe / Cruthaithe: (2013)

CSP-based counter abstraction for systems with node identifiers
de réir: Mazur, T, et al.
Foilsithe / Cruthaithe: (2014)

CSP−based counter abstraction for systems with node identifiers
de réir: Mazur, T, et al.
Foilsithe / Cruthaithe: (2013)

Formal Verification at Higher Levels of Abstraction
de réir: Kroening, D, et al.
Foilsithe / Cruthaithe: (2007)

Abstract Satisfaction
de réir: D'Silva, V, et al.
Foilsithe / Cruthaithe: (2014)

Verification and falsification of programs with loops using predicate abstraction.
de réir: Kroening, D, et al.
Foilsithe / Cruthaithe: (2010)

Verification and Falsification of Programs with Loops Using Predicate Abstraction
de réir: Kroening, D, et al.
Foilsithe / Cruthaithe: (2009)

Introduction to CEGAR —Counter-Example Guided Abstraction Refinement
de réir: M. U. Mandrykin, et al.
Foilsithe / Cruthaithe: (2018-10-01)

Model Checking with Abstraction for Web Services
de réir: Sharygina, N, et al.
Foilsithe / Cruthaithe: (2007)

A Complete Bounded Model Checking Algorithm for Pushdown Systems
de réir: Basler, G, et al.
Foilsithe / Cruthaithe: (2007)

SAT−based Summarisation for Boolean Programs
de réir: Basler, G, et al.
Foilsithe / Cruthaithe: (2007)

Abstract interpretation with unfoldings
de réir: Sousa, M, et al.
Foilsithe / Cruthaithe: (2017)

Abstract conflict driven learning.
de réir: D'Silva, V, et al.
Foilsithe / Cruthaithe: (2013)

Abstract Conflict Driven Learning
de réir: D'Silva, V, et al.
Foilsithe / Cruthaithe: (2013)

Counterexample Guided Abstraction Refinement via Program Execution
de réir: Groce, A, et al.
Foilsithe / Cruthaithe: (2004)

An Abstract Interpretation of DPLL(T)
de réir: Brain, M, et al.
Foilsithe / Cruthaithe: (2013)

An abstract interpretation of DPLL(T)
de réir: Brain, M, et al.
Foilsithe / Cruthaithe: (2013)

Formal verification of not fully symmetric systems using counter abstraction
de réir: Mazur, T
Foilsithe / Cruthaithe: (2008)

Checking consistency of C and Verilog using predicate abstraction and induction
de réir: Kroening, D, et al.
Foilsithe / Cruthaithe: (2004)

Checking Consistency of C and Verilog using Predicate Abstraction and Induction
de réir: Kroening, D, et al.
Foilsithe / Cruthaithe: (2004)

Verification of SpecC using predicate abstraction.
de réir: Clarke, E, et al.
Foilsithe / Cruthaithe: (2007)

Verification of SpecC using Predicate Abstraction
de réir: Clarke, E, et al.
Foilsithe / Cruthaithe: (2007)

Sound numerical computations in abstract acceleration
de réir: Cattaruzza, D, et al.
Foilsithe / Cruthaithe: (2017)

Deciding Floating−Point Logic with Systematic Abstraction
de réir: Haller, L, et al.
Foilsithe / Cruthaithe: (2012)

Verifying C++ with STL Containers via Predicate Abstraction
de réir: Blanc, N, et al.
Foilsithe / Cruthaithe: (2007)

Verifying C++ with STL containers via predicate abstraction
de réir: Blanc, N, et al.
Foilsithe / Cruthaithe: (2007)

Verification of SpecC and Verilog using Predicate Abstraction
de réir: Jain, H, et al.
Foilsithe / Cruthaithe: (2004)

Counterexample-guided abstraction refinement for symmetric concurrent programs
de réir: Donaldson, A, et al.
Foilsithe / Cruthaithe: (2012)

Abstraction−based Satisfiability Solving of Presburger Arithmetic
de réir: Kroening, D, et al.
Foilsithe / Cruthaithe: (2004)

COUNTERING COLLABORATIONISM IN THE CONTEXT OF ARMED CONFLICT
de réir: Ivan Vyhivskyi
Foilsithe / Cruthaithe: (2024-09-01)

Countering Economic Crime in The Context of Globalization
de réir: Markina Svetlana, et al.
Foilsithe / Cruthaithe: (2021-01-01)