3 ms·
If you are writing a bank, write it in SPARK Ada.
If you are writing a bank, write it in SPARK Ada.
Do you say that because of the features or as a tongue-in-cheek jab at security through obscurity?
SPARK does nothing to defend against typical web vulnerabilities: XSS, CSRF, default/weak passwords, admin interface left open, etc.