Titolo del corso
Static and Dynamic Software Analysis
Codice identificativo del corso
1819-87R-SDSA
Assignment
Consider the Promela spec of the buggy version of the Needham-Schroeder protocol seen as exercise.
Adapt the Promela spec to represent the fixed version of the protocol and verify it with Spin.
Document your fix with well identifiable comments written in the Promela spec, and send it to giovanni.denaro@unimib.it.
Ultime modifiche: mercoledì, 18 settembre 2019, 11:53