3 ms·
What are good resources for learning Ada/SPARK and MISRA-C?
by hckr1292 10y ago
What are good resources for learning Ada/SPARK and MISRA-C?
- nickpsecurity 10y agoThose resource change quite a bit over time since it's both a small, legacy ecosystem and a constantly-changing, active ecosystem. I'd have to update my resources when my busy, busy schedules slow down. I plan to, though, on those two tech w/ guides & whatever FOSS tools I find. Just email me at address in my profile about it. I'll just save it in there so I can email it back to you once I'm up-to-date on the learning resources & tools available.