Automated formal verification for flexible manufacturing systems

This publication has 24 references indexed in Scilit:

• Formal correctness, safety, dependability, and performance analysis of a satellite
  2012
• Modeling Time in Computing
  2012
• Bounded Reachability for Temporal Logic over Constraint Systems
  2010
• Improving large-sized PLC programs verification using abstractions
  IFAC Proceedings Volumes, 2008
• Formal validation of intelligent-automated production systems: towards industrial applications
  International Journal of Manufacturing Technology and Management, 2006
• Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks
  Journal of Intelligent Manufacturing, 2004
• NuSMV 2: An OpenSource Tool for Symbolic Model Checking
  2002
• Reactive Modules
  Formal Methods in System Design, 1999
• From formal models to formally based methods
  ACM Transactions on Software Engineering and Methodology, 1999
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987