使用数据自动机验证高阶并发| IEEE会议出版物| IEEE Xplore