Parallel assertions for architectures with weak memory models
Publication Year
2012
Type
Conference Paper
Conference Name
International Symposium on Automated Technology for Verification and Analysis
Publisher
Springer Berlin Heidelberg