ENGLISH

Spin Model Checker

By Gerard J. Holzmann

Book information

Publisher
Addison-Wesley Professional
Year
2003
ISBN
9780321228628, 0321228626
LCC
TA168 .H65 2003
Open Library ID
OL3689594M
Language
english
Format
PDF
Filesize
4 MB (4104711 bytes)
Pages
690\690
Library
mexmat
Time added
2009-07-20 03:45:11

Description

SPIN is the world's most popular, and arguably one of the world's most powerful, tools for detecting software defectsin concurrent system designs. Literally thousands of people have used SPIN since it was first introduced almost fifteenyears ago. The tool has been applied to everything from the verification of complex call processing software that isused in telephone exchanges, to the validation of intricate control software for interplanetary spacecraft.

Similar books