The path to robustness, reliability, and safety has to be complemented by verification methods that can scale proportionally to complexity.
Pioneered at NASA, @rv_inc’s tools will find new and impactful ways to engage w/ our ecosystem at X Day Paris.
🎟 https://xday.com/ https://t.co/qRoDrlES4y
通往稳健性、可靠性和安全性的道路必须辅之以可与复杂性成比例扩展的验证方法。
@rv_inc 的工具在 NASA 首创，将找到新的、有影响力的方式来参与我们在巴黎 X 日的生态系统。
🎟 https://xday.com/ https://t.co/qRoDrlES4y