Automated concurrency bug finding using partial-orders
<p>Concurrent systems are ubiquitous, ranging from multi-core processors to large-scale distributed systems. Yet, the verification of concurrent systems remains a daunting task, and technological advances such as weak memory architectures greatly compound this problem. Such challenges have ren...
| 主要作者: | |
|---|---|
| 其他作者: | |
| 格式: | Thesis |
| 出版: |
2015
|