Publisher
Springer Science and Business Media LLC
Reference38 articles.
1. Ammann PE, Black PE, Majurski W (1998) Using model checking to generate tests from specications. In: ICFEM’98, vol 1687. IEEE, pp 46–54
2. Anderson RJ, Woll H (1994) Wait-free parallel algorithms for the union find problem. In: STOC’91, pp 370–380
3. Barnat J, Brim L, Ročkai P (2010) Scalable shared memory LTL model checking. Int J Softw Tools Technol Transf (STTT) 12(2):139–153
4. Barnat J, Ročkai P, Štill V, Weiser J (2015) Fast, dynamically-sized concurrent hash table. In: SPIN’15, vol 9232. of LNCS. Springer, pp 49–65
5. Bloemen V, van de Pol J (2016) Multi-core SCC-based LTL model checking, pp 18–33
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献