D for safety critical applications

Imperatorn johan_forsberg_86 at hotmail.com
Wed Feb 10 17:52:04 UTC 2021

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.


More information about the Digitalmars-d mailing list