Author:
Jana Anushri,Khedker Uday P.,Datar Advaita,Venkatesh R.,C. Niyas
Publisher
Springer International Publishing
Reference29 articles.
1. 2015 4th International Competition on Software Verification. http://sv-comp.sosy-lab.org/2015/results/ . Accessed 12 Feb 2017
2. 2016 5th International Competition on Software Verification. http://sv-comp.sosy-lab.org/2016/results/results-verified/ . Accessed 12 Feb 2017
3. Alberti, F., Bruttomesso, R., Ghilardi, S., Ranise, S., Sharygina, N.: An extension of lazy abstraction with interpolation for programs with arrays. In: Formal Methods in System Design (2014)
4. Lecture Notes in Computer Science;F Alberti,2014
5. Alberti, F., Monniaux, D.: Polyhedra to the rescue of array interpolants. In: Annual ACM Symposium on Applied Computing (2015)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. OLA: Property Directed Outer Loop Abstraction for Efficient Verification of Reactive Systems;2023 IEEE International Conference on Software Maintenance and Evolution (ICSME);2023-10-01
2. Verification by Gambling on Program Slices;Automated Technology for Verification and Analysis;2021
3. Quantified Invariants via Syntax-Guided Synthesis;Computer Aided Verification;2019
4. Property Checking Array Programs Using Loop Shrinking;Tools and Algorithms for the Construction and Analysis of Systems;2018
5. Scaling Bounded Model Checking by Transforming Programs with Arrays;Logic-Based Program Synthesis and Transformation;2017