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

• Authors:

• Nicholas Weininger;Darren D. Cofer

• Affiliations:

• -;-

• Venue:
• Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification
• Year:
• 2000