State Space Reduction Based on Live Variables Analysis

This publication has 10 references indexed in Scilit:

• Reducing the number of clock variables of timed automata
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• IF: An Intermediate Representation for SDL and its Applications
  Published by Elsevier ,1999
• Automatically closing open reactive programs
  Published by Association for Computing Machinery (ACM) ,1998
• Protocol verification with the ALDÉBARAN toolset
  International Journal on Software Tools for Technology Transfer, 1997
• An experiment in automatic generation of test suites for protocols with verification technology
  Science of Computer Programming, 1997
• Partial-Order Methods for the Verification of Concurrent Systems
  Published by Springer Nature ,1996
• Symbolic Model Checking
  Published by Springer Nature ,1993
• On-the-fly Verification of Finite Transition Systems
  Published by Springer Nature ,1992
• Automatic verification of finite state concurrent system using temporal logic specifications
  Published by Association for Computing Machinery (ACM) ,1983
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980