Verification of real time chemical processing systems

This publication has 10 references indexed in Scilit:

• Symbolic model checking: 1020 States and beyond
  Published by Elsevier ,2004
• Automatic verification of industrial designs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Model checking large software specifications
  ACM SIGSOFT Software Engineering Notes, 1996
• Symbolic model checking for sequential circuit verification
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1994
• Design recovery for relay ladder logic
  IEEE Control Systems, 1993
• Reasoning with qualitative models
  Artificial Intelligence, 1993
• Exploiting symmetry in temporal logic model checking
  Published by Springer Nature ,1993
• Symbolic Model Checking
  Published by Springer Nature ,1993
• Qualitative simulation using time-scale abstraction
  Artificial Intelligence in Engineering, 1988
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986