3 ms·
And types too :) I know many words have been spilled over why it shouldn't have them, but I remain unconvinced. I modelled a trivial traffic light system to m
by mrkeen 3y ago
And types too :)
I know many words have been spilled over why it shouldn't have them, but I remain unconvinced.
I modelled a trivial traffic light system to make sure the cars and pedestrians didn't have "green" at the same time. And they didn't, because they had "green_light" at the same time. Oops!
- abathologist 3y agoIt's still in pretty early development, but you may be interested in https://github.com/informalsystems/quint https://github.com/informalsystems/quint > It combines the robust theoretical basis of the Temporal Logic of Actions (TLA) with state-of-the-art static analysis and development tooling. And it is typed ;)