Sciweavers

298 search results - page 1 / 60
» Experience with Model Checking Linearizability
Sort
View
SPIN
2009
Springer
13 years 10 months ago
Experience with Model Checking Linearizability
Martin T. Vechev, Eran Yahav, Greta Yorsh
CAV
2010
Springer
239views Hardware» more  CAV 2010»
13 years 7 months ago
Model Checking of Linearizability of Concurrent List Implementations
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
Pavol Cerný, Arjun Radhakrishna, Damien Zuf...
FM
2009
Springer
169views Formal Methods» more  FM 2009»
13 years 7 months ago
Model Checking Linearizability via Refinement
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
Yang Liu 0003, Wei Chen, Yanhong A. Liu, Jun Sun 0...
PLDI
2012
ACM
11 years 6 months ago
Speculative linearizability
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
Rachid Guerraoui, Viktor Kuncak, Giuliano Losa
APSEC
2001
IEEE
13 years 7 months ago
Model Checking Object-Z Classes: Some Experiments with FDR
This paper investigates model checking Object-Z classes via their translation to the input notation of the CSP model checker FDR. Such a translation must not only be concerned wit...
Geoff Kassel, Graeme Smith