Publisher
Springer International Publishing
Reference22 articles.
1. Lecture Notes in Computer Science;D Beyer,2004
2. Beyer, D., Henzinger, T.A., Keremoglu, M.E., Wendler, P.: Conditional model checking: A technique to pass information between verifiers. In: FSE, pp. 57:1–57:11. ACM (2012). doi:
10.1145/2393596.2393664
3. Lecture Notes in Computer Science;D Beyer,2007
4. Lecture Notes in Computer Science;D Beyer,2011
5. Beyer, D., Keremoglu, M.E., Wendler, P.: Predicate abstraction with adjustable-block encoding. In: FMCAD, pp. 189–198. FMCAD Inc. (2010)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Parallel Program Analysis via Range Splitting;Fundamental Approaches to Software Engineering;2023
2. The Karlsruhe Java Verification Suite;The Logic of Software. A Tasting Menu of Formal Methods;2022
3. Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework;Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles;2020