Formal modeling and validation of Stateflow diagrams

This publication has 21 references indexed in Scilit:

• Formal Analysis for Stateflow Diagrams
  2010
• Stateflow Diagrams in
  Electronic Notes in Theoretical Computer Science, 2009
• Formal Development for Railway Signaling Using Commercial Tools
  Lecture Notes in Computer Science, 2009
• Software engineering and formal methods
  Communications of the ACM, 2008
• An operational semantics for Stateflow
  International Journal on Software Tools for Technology Transfer, 2007
• A Story About Formal Methods Adoption by a Railway Signaling Manufacturer
  2006
• A denotational semantics for stateflow
  2005
• Symbolic verification of executable control specifications
  2003
• STATEMATE: a working environment for the development of complex reactive systems
  IEEE Transactions on Software Engineering, 1990
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987