4 ms·

I find this program very interesting because it is used, among other things, for medical device embedded software; ie, perhaps the most challenging high stakes

I find this program very interesting because it is used, among other things, for medical device embedded software; ie, perhaps the most challenging high stakes programming environment. The author makes maximum achievable software quality an explicit goal.

OopsCriticality 11y ago
Interesting. Can you share anything more about this program being used for medical device software?