Author:
Kapur Deepak,Zhang Zhihai,Horbach Matthias,Zhao Hengjun,Lu Qi,Nguyen ThanhVu
Publisher
Springer Berlin Heidelberg
Reference33 articles.
1. Allamigeon, X.: Static analysis of memory manipulations by abstract interpretation–Algorithmics of tropical polyhedra, and application to abstract interpretation. PhD thesis, Ecole Polytechnique, Palaiseau, France (2009)
2. Lecture Notes in Computer Science;X. Allamigeon,2008
3. Lecture Notes in Computer Science;R. Bagnara,2008
4. Bezem, M., Nieuwenhuis, R., Rodriguez-Carbonell, E.: Hard problems in max-algebra, control theory, hypergraphs and other areas. Information Processing Letters 110(4), 133–138 (2010)
5. Lecture Notes in Computer Science;B. Blanchet,2002
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Using Symbolic States to Infer Numerical Invariants;IEEE Transactions on Software Engineering;2021
2. Speeding up the Constraint-Based Method in Difference Logic;Theory and Applications of Satisfiability Testing – SAT 2016;2016
3. Certified Reasoning with Infinity;FM 2015: Formal Methods;2015
4. On Interpolation in Automated Theorem Proving;Journal of Automated Reasoning;2014-10-19
5. Using dynamic analysis to generate disjunctive invariants;Proceedings of the 36th International Conference on Software Engineering;2014-05-31