/naschr_tla

TLA+ spec for a basic version of the Nagel-Schreckenberg cellular automata traffic model, for the case of Vmax = 1.

Primary LanguageTLA

Watchers