Tutorial: Proving Properties of Concurrent System with SPIN

G. Holzmann
DOI: https://doi.org/10.1007/3-540-60218-6_34
1995-08-21
Abstract:
What problem does this paper attempt to address?