Author:
Richter Cedric,Wehrheim Heike
Publisher
Springer International Publishing
Reference13 articles.
1. Lecture Notes in Computer Science;D Beyer,2015
2. Beyer, D., Friedberger, K.: A light-weight approach for verifying multi-threaded programs with CPAchecker. In: Electronic Proceedings in Theoretical Computer Science, no. 233, pp. 61–71 (2016)
3. Lecture Notes in Computer Science;D Beyer,2011
4. Beyer, D., Keremoglu, M.E., Wendler, P.: Predicate abstraction with adjustable-block encoding. In: Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design, pp. 189–198. FMCAD Inc. (2010)
5. Lecture Notes in Computer Science;D Beyer,2013
Cited by
42 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献