Efficient Image Computation in Infinite State Model Checking

This publication has 16 references indexed in Scilit:

• Automata-Based Representations for Arithmetic Constraints in Automated Verification
  2003
• Construction of Efficient BDDs for Bounded Arithmetic Constraints
  2003
• Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking
  Lecture Notes in Computer Science, 2002
• Constraint-Based Verification of Client-Server Protocols
  2001
• A Library for Composite Symbolic Representations
  2001
• On the Construction of Automata from Linear Arithmetic Constraints
  Lecture Notes in Computer Science, 2000
• Model-checking concurrent systems with unbounded integer variables
  ACM Transactions on Programming Languages and Systems, 1999
• HYTECH: a model checker for hybrid systems
  International Journal on Software Tools for Technology Transfer, 1997
• Diophantine equations, Presburger arithmetic and finite automata
  Lecture Notes in Computer Science, 1996
• An automata-theoretic approach to Presburger arithmetic constraints
  1995