四楼会议室。
“时间有限......”
周凡话落，看着瞬间在面前放大的几个面孔，话锋一转：“一个个来，林总，你先......”
林文武连忙坐到周凡，拿出早就准备好的文件。
“周工，你看一下，这个形式化验证需要TLA+语言对内核代码进行数学建模，有几个地方我们不是很理解......”一边说着，一边将电脑推到周凡面前。
周凡接过了鼠标，滚动着，一行行的代码展现在眼前。
“这个其实也简单...将系统行为转化为数学模型，先从有限状态机开始，利用时序逻辑公式，确保模型满足所有安全属性，并且保持代码和模型的严格一致......”
周凡为了便于理解，敲击代码进行演示。
林文武手边有着一个笔记本，一段段简洁清晰的代码，思路开始渐渐的清晰，自研系统很难，如果说只是他自己，他绝对不会选择自研系统。
可真正见识到了周凡的实力后，他自然而然有了信心。
“这个思路太超前了...我先前完全没有想到！”林文武目光发亮，对于周凡的实力他也只知道冰山一角。
可正是因为如此，他现在整个人好似有用不完的劲，毕竟，越是推进自研系统，他就越是清楚，这系统给他们时间，是绝对可以搞出来的。
而且有着太多技术的更新，统一内存管理技术，无需中转储存...后期甚至可以开发出设备之间相互流转的功能。
相机拍照之后直接流转到手机查看发送...这样的系统设计理念绝对领先五年以上......
还有让他极为震撼的原子化权限控制...将权限粒度细化至硬件指令级，让每一个服务模块都在独立的沙箱中运行......
简单来说启动摄像头就只是启动摄像头，而不是将摄像头，存储器，文件管理等等一系列的权限打开，不仅大大提升安全性，还能最大限度保护用户隐私......
这对现阶段手机操作系统的安全性设计，简直就是颠覆。
他可以肯定，这一个个设计和功能，绝对超越了整个行业的最高水平。
太超前了！
简直不像是这个时代的产物！！！
越是深入的了解这个系统的底层逻辑和设计理念，他的内心就越震撼和激动。
甚至他感觉就是现在的平果系统，也有所缺失，至
本章未完，请点击下一页继续阅读！