Spinroot

A forum for Spin users

You are not logged in.

#1 2011-11-10 07:50:22

benari
Member
Registered: 2010-11-24
Posts: 9

Visualization of Model Checking

Version 3.1.0 of the Erigone Model Checker includes a postprocessor VMC which generates graphs showing the model checking process step-by-step: the creation and search of the state space. It's hard to explain so I've prepared a short video demonstration (pardon my lack of radiophonic talent!):

http://screencast.com/t/HNQ5l1lijXsJ

Erigone is a Spin-compatible model checker intended for educational purposes and can be downloaded from Google Code:

http://code.google.com/p/erigone/

Moti

Offline

#2 2011-11-11 09:07:09

DericSalvador
Member
Registered: 2011-11-11
Posts: 1
Website

Re: Visualization of Model Checking

Thanks benari i needed the codes, good thing you posted some links for it.

Offline

Board footer

Powered by FluxBB