Train Simulator

1421 machines

11102 transitions

2981 inputs

2667 outputs

3204 local states

Declare state sp.: 10^476

BUGS ?

VVS

Previous slide

Next slide

Back to first slide

View graphic version