>>664
NASAとかボーイングが使うのと同じ検査でプラットフォームの安全性を証明する。
プログラミング言語は好きなものを選べるし、安全性の高い専用言語もある。
スケーラビリティが高くてイーサみたいにキャパオーバーしにくい。