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