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...
| Autor principal: | |
|---|---|
| Altres autors: | |
| Format: | Thesis |
| Publicat: |
2015
|