Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case Study

This publication has 3 references indexed in Scilit:

• Model Checking Safety Critical Software with SPIN: an Application to a Railway Interlocking System
  Published by Springer Nature ,1998
• KRONOS: a verification tool for real-time systems
  International Journal on Software Tools for Technology Transfer, 1997
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997