Tutorial on FDR and Its Applications

• Authors:

• Philippa J. Broadfoot;A. W. Roscoe

• Affiliations:

• -;-

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