Back to Search Start Over

The model checker SPIN

Authors :
Holzmann, Gerard J.
Source :
IEEE Transactions on Software Engineering. May, 1997, Vol. v23 Issue n5, p279, 17 p.
Publication Year :
1997

Subjects

Subjects :
Software -- Verification
Computer network protocols -- Research
Distributed processing (Computers) -- Research

Details

ISSN :
00985589
Volume :
v23
Issue :
n5
Database :
Gale General OneFile
Journal :
IEEE Transactions on Software Engineering
Publication Type :
Academic Journal
Accession number :
edsgcl.19787837

Tools

Authors Abstract Subjects Details