A Compositional Real-time Semantics of STATEMATE Designs

This publication has 15 references indexed in Scilit:

• Symbolic model checking: 10/sup 20/ states and beyond
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Tamagotchis need not die — Verification of statemate designs
  Published by Springer Nature ,1998
• Equivalences of Statecharts
  Published by Springer Nature ,1996
• A compositional axiomatization of Statecharts
  Theoretical Computer Science, 1992
• The synchronous approach to reactive and real-time systems
  Proceedings of the IEEE, 1991
• 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
• On visual formalisms
  Communications of the ACM, 1988
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• Logics and Models of Concurrent Systems
  Published by Springer Nature ,1985