Hacker News new | ask | show | jobs
by pron 3709 days ago
Right, SCADE compiles down to C, but the development and verification are done in SCADE.