Spinroot

jllang

Member

From: Finland

Registered: 2021-05-05

Posts: 29

State Numbers

I wonder what are state numbers? The traces printed by Spin have a column for state numbers. Are they meant mainly for Spin developers or are they useful to the user?

spinroot

forum

Registered: 2010-11-18

Posts: 700

Website

Re: State Numbers

proctypes and never claims are converted into omega-automata, which have numbered states...