TY -的A2 - Ngai,伊迪丝盟——张长盟——瞿Wanxia AU -霍,Yinjia盟——郭、杨AU - Li Sikun PY - 2018 DA - 2018/01/28 TI -一个SAT-Based多线程程序验证方法为移动网络众包SP - 3193974六世- 2018 AB -本文关注的安全验证移动众包网络的多线程程序。IC3通常是基于sat的有限状态模型检查中速度最快的算法，为了解决多线程程序的安全问题，提出了一种新的算法。通过计算一系列超逼近可达性，利用基于卫星的模型检测算法验证了系统的安全性。结果表明，新算法的性能优于最近发表的所有算法，特别是在内存消耗方面(这是IC3的一个优势)。SN - 1530-8669 UR - https://doi.org/10.1155/2018/3193974 DO - 10.1155/2018/3193974 JF -无线通信和移动计算PB - Hindawi KW - ER -