Synthesis of Linear Ranking Functions

This publication has 13 references indexed in Scilit:

• Automatic generation of invariants and intermediate assertions
  Theoretical Computer Science, 1997
• Pattern Formation by Lateral Inhibition with Feedback: a Mathematical Model of Delta-Notch Intercellular Signalling
  Journal of Theoretical Biology, 1996
• Double description method revisited
  Published by Springer Nature ,1996
• Powerful techniques for the automatic generation of invariants
  Published by Springer Nature ,1996
• Temporal Verification of Reactive Systems
  Published by Springer Nature ,1995
• Automatic discovery of linear restraints among variables of a program
  Published by Association for Computing Machinery (ACM) ,1978
• Logical analysis of programs
  Communications of the ACM, 1976
• A synthesizer of inductive assertions
  IEEE Transactions on Software Engineering, 1975
• The maximum numbers of faces of a convex polytope
  Mathematika, 1970
• Solvability and Consistency for Linear Equations and Inequalities
  The American Mathematical Monthly, 1956