Author:
Becchi Anna,Zaffanella Enea
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference55 articles.
1. Efficient constraint/generator removal from double description of polyhedra;Amato;Electron. Notes Theor. Comput. Sci.,2014
2. Computing convex hulls and counting integer points with polymake;Assarf;Math. Program. Comput.,2017
3. Widening operators for weakly-relational numeric abstractions;Bagnara,2005
4. Precise widening operators for convex polyhedra;Bagnara,2003
5. Precise widening operators for convex polyhedra;Bagnara;Sci. Comput. Program.,2005
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Abstraction Modulo Stability;Formal Methods in System Design;2024-09-12
2. Speeding up static analysis with the split operator;International Journal on Software Tools for Technology Transfer;2024-08-27
3. Tarsis: An effective automata‐based abstract domain for string analysis;Journal of Software: Evolution and Process;2024-02-14
4. P-stable abstractions of hybrid systems;Software and Systems Modeling;2024-01-29
5. Teaching Through Practice: Advanced Static Analysis with LiSA;Lecture Notes in Computer Science;2024