Modellsjekkeren SPIN: Vi benytter Spin ¡­

Modellsjekkeren SPIN:

Vi benytter Spin til modellsjekking. Den er lagt opp p? linuxsystemet p? ifi. Det grafiske grensesnittet Xspin er ogs? tilgjengelig. Hvis dere ikke f?r det opp direkte ved "xspin", kan dere pr?ve "wish /store/bin/xspin".

Det kan v?re greit ? se litt p? systemet f?r dere f?r ny oblig... Noen oppgaver for ? sette seg inn i Spin, finner dere her . Dessuten: Eratostenes Sil og AB-protokollen .