Principi della verifica del modello di rotazione

Recensioni dei lettori

Attualmente non ci sono recensioni dei lettori. La valutazione si basa su 2 voti.

Titolo originale:

Principles of the Spin Model Checker

Contenuto del libro:

Principles of Spin è un libro introduttivo, l'unico requisito è un background di programmazione.

I modelli Spin sono scritti nel linguaggio Promela, facilmente apprendibile da studenti e programmatori. Spin è facile da installare e da usare.

Il verificatore di modelli Spin non è solo uno strumento professionale ampiamente utilizzato, ma è anche un ottimo strumento per l'insegnamento di importanti concetti di informatica come la verifica, la concorrenza e il nondeterminismo. Il libro presenta il software basato su Spin che l'autore ha sviluppato per l'insegnamento: jSpin - un ambiente di sviluppo integrato per Spin. SpinSpider - utilizza l'output di Spin per costruire automaticamente diagrammi di stato di programmi concorrenti.

VN è uno strumento per la visualizzazione del nondeterminismo. I programmi completi dimostreranno ogni costrutto e concetto e saranno disponibili su un sito web allegato.