The model checker SPIN

Public

The model checker SPIN

N

Shared by NobleBlocks on May 1, 1997 • 12:00 AM UTC

Authors:

G.J. Holzmann

Finding related papers...

Discussions

(0)

No comments yet

Be the first to share your thoughts!

Publication Date: May 1, 1997 • 12:00 AM UTC

NobleID:w1/20260526/D51AAB32

DOI:10.1109/32.588521

No figures available

Generate Podcast

The model checker SPIN | NobleBlocks