Spinroot

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

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.