Minor nit-pick. I work around (but not with) ada code, and a common pattern is that if you can get your ada code to compile; it's pretty likely that it's safe.
If you're just saying Ada doesn't guarantee that the program does what you really need... no language can do that.
C is the 2nd most unsafe language I've worked with, asm being the first.
If you're just saying Ada doesn't guarantee that the program does what you really need... no language can do that.
C is the 2nd most unsafe language I've worked with, asm being the first.