Precise widening operators for convex polyhedra
- 31 October 2005
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 58 (1-2) , 28-56
- https://doi.org/10.1016/j.scico.2005.02.003
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Cleanness Checking of String Manipulations in C Programs via Integer AnalysisPublished by Springer Nature ,2001
- Applying Static Analysis Techniques for Inferring Termination Conditions of Logic ProgramsPublished by Springer Nature ,2001
- Model-checking concurrent systems with unbounded integer variablesACM Transactions on Programming Languages and Systems, 1999
- HYTECH: a model checker for hybrid systemsInternational Journal on Software Tools for Technology Transfer, 1997
- A practical algorithm for exact array dependence analysisCommunications of the ACM, 1992
- Abstract Interpretation FrameworksJournal of Logic and Computation, 1992
- Proving termination with multiset orderingsCommunications of the ACM, 1979
- Algorithm for discovering the set of all the solutions of a linear programming problemUSSR Computational Mathematics and Mathematical Physics, 1968
- Algorithm for finding a general formula for the non-negative solutions of a system of linear inequalitiesUSSR Computational Mathematics and Mathematical Physics, 1965
- Algorithm for finding a general formula for the non-negative solutions of a system of linear equationsUSSR Computational Mathematics and Mathematical Physics, 1964