Minlog 跟 scade 有什么共同点

Minlog 和 scade 有什么共同点？
Minlog 是从证明里提取程序，并且是正确的。
Scade 是生成代码，具有很高的安全性

这两个语言有什么区别？ 换句话说，程序的安全和正确性上有什么不同？
------解决方案--------------------



不了解，帮顶！