Model checking software

Questo libro costituisce gli atti del 10° workshop internazionale SPIN sul Model Checking del Software, SPIN 2003, tenutosi a Portland, OR, USA nel maggio 2003 come workshop satellite ICSE 2003. I 14 documenti completi revisionati e i 3 documenti sugli strumenti revisionati presentati sono stati attentamente esaminati e selezionati tra 30 proposte. Il libro presenta i risultati più avanzati sull'analisi e la verifica dei sistemi software distribuiti utilizzando il model checker SPIN come uno dei sistemi più potenti e ampiamente applicati.