Tamagotchis need not die — Verification of statemate designs

This publication has 7 references indexed in Scilit:

• A Compositional Real-time Semantics of STATEMATE Designs
  Published by Springer Nature ,1998
• On Formal Semantics of Statecharts as Supported by STATEMATE.
  Electronic Workshops in Computing, 1997
• The STATEMATE semantics of statecharts
  ACM Transactions on Software Engineering and Methodology, 1996
• STATEMATE: a working environment for the development of complex reactive systems
  IEEE Transactions on Software Engineering, 1990
• Sequential circuit verification using symbolic model checking
  Published by Association for Computing Machinery (ACM) ,1990
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• Binary Decision Diagrams
  IEEE Transactions on Computers, 1978