Cartesian Factoring of Polyhedra in Linear Relation Analysis

This publication has 12 references indexed in Scilit:

• Verifying Temporal Properties of Reactive Systems: A STeP Tutorial
  Formal Methods in System Design, 2000
• Parametric Analysis of Polyhedral Iteration Spaces
  Journal of Signal Processing Systems, 1998
• HYTECH: a model checker for hybrid systems
  International Journal on Software Tools for Technology Transfer, 1997
• Automatic generation of invariants and intermediate assertions
  Theoretical Computer Science, 1997
• Verification of Real-Time Systems using Linear Relation Analysis
  Formal Methods in System Design, 1997
• Automatic discovery of linear restraints among variables of a program
  Published by Association for Computing Machinery (ACM) ,1978
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977
• Affine relationships among variables of a program
  Acta Informatica, 1976
• Algorithm for discovering the set of all the solutions of a linear programming problem
  USSR Computational Mathematics and Mathematical Physics, 1968
• 3. The Double Description Method
  Published by Walter de Gruyter GmbH ,1953