就技术来说，鸿蒙OS到底是个什么层面的东西？

[zhouchongzxc]

你是华为公司的吗？

能给大家普及一下形式化验证吗？