An integrated specification and verification technique for highly concurrent data structures
| Autor: | Frédéric Haziza, Parosh Aziz Abdulla, Lukáš Holík, Bengt Jonsson, Ahmed Rezine |
|---|---|
| Rok vydání: | 2016 |
| Předmět: |
Linearizability
Computer science Concurrent data structure Programming language Concurrency 020207 software engineering 02 engineering and technology computer.software_genre Theory of computation 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing Queue computer Software Information Systems |
| Zdroj: | International Journal on Software Tools for Technology Transfer. 19:549-563 |
| ISSN: | 1433-2787 1433-2779 |
| DOI: | 10.1007/s10009-016-0415-4 |
| Popis: | We present a technique for automatically verifying safety properties of concurrent programs, in particular programs that rely on subtle dependencies of local states of different threads, such as lo ... |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full text from SpringerLink