D for safety critical applications
maxhaton at gmail.com
Tue Feb 9 21:23:35 UTC 2021
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.
More information about the Digitalmars-d