D for safety critical applications

[Imperatorn]

On Wednesday, 10 February 2021 at 17:01:19 UTC, welkam wrote:
> A talk about model checker Alloy. Its an introductory talk to 
> people with not prior knowledge
> "Finding bugs without running or even looking at code" by Jay 
> Parlar
> https://www.youtube.com/watch?v=FvNRlE4E9QQ

Nice. I've used UPPAAL in the past with some success.

https://en.wikipedia.org/wiki/Uppaal_Model_Checker