TReX: A Tool for Reachability Analysis of Complex Systems

This publication has 10 references indexed in Scilit:

• On the Construction of Automata from Linear Arithmetic Constraints
  Lecture Notes in Computer Science, 2000
• IF: A Validation Environment for Timed Asynchronous Systems
  2000
• Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems
  2000
• Regular Model Checking
  2000
• On-the-fly analysis of systems with unbounded, lossy FIFO channels
  Lecture Notes in Computer Science, 1998
• Partition refinement in real-time model checking
  1998
• HYTECH: a model checker for hybrid systems
  International Journal on Software Tools for Technology Transfer, 1997
• The bounded retransmission protocol must be on time!
  1997
• CADP a protocol validation and verification toolbox
  1996
• Dines—Fourier—Motzkin quantifier elimination and an application of corresponding transfer principles over ordered fields
  Mathematical Programming, 1992