D for safety critical applications

welkam wwwelkam at gmail.com
Wed Feb 10 17:01:19 UTC 2021

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 

More information about the Digitalmars-d mailing list