|
|||||
|
|
An integrated specification and verification technique for highly concurrent data structures |
|
| Authors: | Abdulla Parosh Aziz Haziza Frédéric Holík Lukáš Jonsson Bengt Rezine Ahmed |
| Affiliation: | 1.Uppsala University, Uppsala, Sweden ;2.Brno University of Technology, Brno, Czech Republic ;3.Linköping University, Linköping, Sweden ; |
| Abstract: | International Journal on Software Tools for Technology Transfer - We present a technique for automatically verifying safety properties of concurrent programs, in particular programs that rely on... |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |