The Engineering of a Model Checker: The Gnu i-Protocol Case Study Revisited

In a recent study a series of model checkers, among which Spin [5], SMV [9], and a newer system called XMC [10], were compared on performance. The measurements used for this comparison focused on a model

• Type: Conference
• Year: 1999
• Where: SPIN
• Authors: Gerard J. Holzmann
• Keywords: Model Checkers, SPIN 1999, Theoretical Computer Science