The Octahedron Abstract Domain

This publication has 18 references indexed in Scilit:

• Verification of timed circuits with symbolic delays
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• CSSV
  Published by Association for Computing Machinery (ACM) ,2003
• A theory of timed automata
  Published by Elsevier ,2002
• Efficient Timed Reachability Analysis Using Clock Difference Diagrams
  Published by Springer Nature ,1999
• Data-structures for the verification of timed automata
  Published by Springer Nature ,1997
• Verification of Real-Time Systems using Linear Relation Analysis
  Formal Methods in System Design, 1997
• Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation
  Formal Methods in System Design, 1997
• Timing assumptions and verification of finite-state concurrent systems
  Published by Springer Nature ,1990
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• Automatic discovery of linear restraints among variables of a program
  Published by Association for Computing Machinery (ACM) ,1978