Constraint-based linear-relations analysis

DOI10.1007/978-3-540-27864-1_7MaRDI QIDQ5466578zbMATH OpenOpenAlexFDO

Authors Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna

Publication date 24 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b99688

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Finding Relations Among Linear Constraints
• Relational linear programming
• Linear-logic based analysis of Constraint Handling Rules with disjunction
• scientific article; zbMATH DE number 35420
• scientific article; zbMATH DE number 4213487
• Constraint-based relational verification
• Linear-constraint databases
• An efficient representation for linear constraints

Cited in

(22)

• Dynamic partitioning in linear relation analysis: application to the verification of reactive systems
• Improving the results of program analysis by abstract interpretation beyond the decreasing sequence
• Incremental closure for systems of two variables per inequality
• Inferring expected runtimes of probabilistic integer programs using expected sizes
• Template polyhedra and bilinear optimization
• A sums-of-squares extension of policy iterations
• Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods
• Abstract interpretation of microcontroller code: intervals meet congruences
• Constructing invariants for hybrid systems
• Improving strategies via SMT solving
• Combining model checking and data-flow analysis
• Logahedra: a new weakly relational domain
• SAT modulo linear arithmetic for solving polynomial constraints
• Cartesian factoring of polyhedra in linear relation analysis
• Complexity and Algorithms for Monomial and Clausal Predicate Abstraction
• Finding Relations Among Linear Constraints
• Invariant Synthesis for Combined Theories
• Automatically Refining Abstract Interpretations
• Acceleration in Convex Data-Flow Analysis
• Scalable analysis of linear systems using mathematical programming
• Affine Loop Invariant Generation via Matrix Algebra
• Property-directed incremental invariant generation

This page was built for publication: Constraint-based linear-relations analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5466578)