Author:
Jančík Pavel,Alt Leonardo,Fedyukovich Grigory,Hyvärinen Antti E. J.,Kofroň Jan,Sharygina Natasha
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Lecture Notes in Computer Science;A Albarghouthi,2012
2. Lecture Notes in Computer Science;O Bar-Ilan,2009
3. Lecture Notes in Computer Science;J Boudou,2014
4. Lecture Notes in Computer Science;J Boudou,2013
5. Cabodi, G., Loiacono, C., Vendraminetto, D.: Optimization techniques for craig interpolant compaction in unbounded model checking. In: DATE, pp. 1417–1422 (2013)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Exploiting partial variable assignment in interpolation-based model checking;Formal Methods in System Design;2019-11-07
2. Lattice-based SMT for program verification;Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design;2019-10-09
3. Decomposing Farkas Interpolants;Tools and Algorithms for the Construction and Analysis of Systems;2019
4. Lattice-Based Refinement in Bounded Model Checking;Lecture Notes in Computer Science;2018