Deviation analysis through model checking

This publication has 4 references indexed in Scilit:

• A development of hazard analysis to aid software design
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Extending the four-variable model to bridge the system-software gap
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Automatic abstraction for model checking software systems with interrelated numeric constraints
  Published by Association for Computing Machinery (ACM) ,2001
• Software requirements analysis for real-time process-control systems
  IEEE Transactions on Software Engineering, 1991