Spin Model Checker.
reglas que regulan los movimientos de autos en las intersecciones. Cuando dos carreteras intersectan, siempre hay una que tiene prioridad sobre la otra. Analizando el caso de óvalos de intersección, en los que no se tiene señalización explícita, podemos darnos cuenta que en condiciones de tráfico