贺飞老师为大家分享了并发程序验证中的约束求解问题。贺老师首先介绍了基于偏序的符号编码，定义并重点介绍了顺序一致性理论以及相应的算法，此外还提到了围绕弱内存模型的相关工作。
http://t.cn/A69RuJ68 ​​​

#约束求解# ​