Assembly program verification for multiprocessors with relaxed memory model using SMT solver

التفاصيل البيبلوغرافية
العنوان:	Assembly program verification for multiprocessors with relaxed memory model using SMT solver
المؤلفون:	Maleehuan, Pattaravut, Chiba, Yuki, Aoki, Toshiaki
المصدر:	2017 International Symposium on Theoretical Aspects of Software Engineering (TASE) Theoretical Aspects of Software Engineering (TASE), 2017 International Symposium on. :1-8 Sep, 2017
Relation:	2017 International Symposium on Theoretical Aspects of Software Engineering (TASE)
قاعدة البيانات:	IEEE Xplore Digital Library

الوصف
ردمك:	9781538619247
DOI:	10.1109/TASE.2017.8285629