D for safety critical applications

[Max Haughton]

On Tuesday, 9 February 2021 at 19:59:02 UTC, Imperatorn wrote:
> On Tuesday, 9 February 2021 at 16:58:35 UTC, Gregor Mückl wrote:
>> [...]
>
> Correct. Safety and security are not really related. And even 
> under the word safety there are different kinds of safety. For 
> example the definition of a safe state is very different in 
> different environments. For example in the nuclear sector some 
> doors must *open* on failure while in some other sector they 
> must *close*.
>
> [...]

I would like to write a bounded model checker for D although I 
make no guarantees because it's one more mad idea for the list of 
many mad ideas I have.