Author:
Becchi Anna,Zaffanella Enea
Publisher
Springer International Publishing
Reference33 articles.
1. 4ti2 team: 4ti2—a software package for algebraic, geometric and combinatorial problems on linear spaces.
www.4ti2.de
2. Assarf, B., Gawrilow, E., Herr, K., Joswig, M., Lorenz, B., Paffenholz, A., Rehn, T.: Computing convex hulls and counting integer points with polymake. Math. Program. Comput. 9(1), 1–38 (2017)
3. Bagnara, R., Hill, P.M., Zaffanella, E.: Not necessarily closed convex polyhedra and the double description method. Form. Asp. Comput. 17(2), 222–257 (2005)
4. Bagnara, R., Hill, P.M., Zaffanella, E.: Applications of polyhedral computations to the analysis and verification of hardware and software systems. Theor. Comput. Sci. 410(46), 4672–4691 (2009)
5. Lecture Notes in Computer Science;R Bagnara,2002
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Speeding up static analysis with the split operator;International Journal on Software Tools for Technology Transfer;2024-08-27
2. Speeding up Static Analysis with the Split Operator;Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis;2023-06-06
3. Unconstrained Variable Oracles for Faster Numeric Static Analyses;Static Analysis;2023
4. Decoupling the Ascending and Descending Phases in Abstract Interpretation;Programming Languages and Systems;2022
5. Symbolic Analysis of Linear Hybrid Automata – 25 Years Later;Lecture Notes in Computer Science;2022