Spinroot

A forum for Spin users

You are not logged in.

#1 2021-12-10 20:59:52

jllang
Member
From: Finland
Registered: 2021-05-05
Posts: 27

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?

Offline

#2 2022-03-01 19:12:59

spinroot
forum
Registered: 2010-11-18
Posts: 691
Website

Re: State Numbers

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

Offline

Board footer

Powered by FluxBB