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...
Príomhchruthaitheoirí: | Basler, G, Mazzucchi, M, Wahl, T, Kroening, D |
---|---|
Formáid: | Journal article |
Teanga: | English |
Foilsithe / Cruthaithe: |
2010
|
Míreanna comhchosúla
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)