Minlog 和 scade 有什么共同点？Minlog 是从证明里提取程序，并且是正确的。Scade 是生成代码，具有很高的安全性这两个语言有什么区别？ 换句话说，程序的安全和正确性上有什么不同？[解决办法]不了解，帮顶！
