On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency

Concurrent systems are notoriously difficult to analyze, and technological advances such as weak memory architectures greatly compound this problem. This has renewed interest in partial order semantics as a theoretical foundation for formal verification techniques. Among these, symbolic techniques h...

全面介紹

書目詳細資料
Main Authors: Horn, A, Kroening, D
格式: Journal article
語言:English
出版: 2015