3 ms·
Can you please explain more and maybe give some examples that resonate with people who don't have the understanding that you do?
by recroad 1y ago
Can you please explain more and maybe give some examples that resonate with people who don't have the understanding that you do?
- moi2388 1y agoAn example would be critical systems such as defence and Aerospace, where they use for example Ada Spark to formally proof certain bugs cannot occur