Analysis of Recursive State Machines

This publication has 13 references indexed in Scilit:

• Bebop: A Symbolic Model Checker for Boolean Programs
  Published by Springer Nature ,2000
• Efficient Algorithms for Model Checking Pushdown Systems
  Published by Springer Nature ,2000
• Model checking the full modal mu-calculus for infinite sequential processes
  Theoretical Computer Science, 1999
• Program analysis via graph reachability
  Information and Software Technology, 1998
• Model checking of hierarchical state machines
  Published by Association for Computing Machinery (ACM) ,1998
• Precise interprocedural dataflow analysis via graph reachability
  Published by Association for Computing Machinery (ACM) ,1995
• Model checking and boolean graphs
  Theoretical Computer Science, 1994
• Graph-theoretic methods in database theory
  Published by Association for Computing Machinery (ACM) ,1990
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• General context-free recognition in less than cubic time
  Journal of Computer and System Sciences, 1975