3 ms·
You can take it a step further and use SPARK: http://en.wikipedia.org/wiki/SPARK_%28programming_language%29 http://en.wikipedia.org/wiki/SPARK_%28programming_l
by ObviousScience 12y ago
You can take it a step further and use SPARK:
http://en.wikipedia.org/wiki/SPARK_%28programming_language%29 http://en.wikipedia.org/wiki/SPARK_%28programming_language%2...
- PhantomGremlin 12y agoExcellent. I wasn't aware of SPARK. It could have been useful for Toyota, rather than the ad-hoc mess they wound up with controlling their cars. https://news.ycombinator.com/item?id=8905718 https://news.ycombinator.com/item?id=8905718