回答情况：
提问时间：
问题标签：
我正在研究Frama-c框架，我想知道C/Frama-c和Spark Ada之间是否有等价物。我知道比较这种不同的语言看起来很奇怪，但在阅读了、和一些SPARK的用户手册后，我很难猜测SPARK和C/Frama-c/ACSL是否提供了相同的证明健壮性和相同的代码可靠性。PS:我是frama-c的新手，我对SPARK编程了解不多。
浏览 9修改于2018-05-26得票数 0
我需要从github安装一些其他的ada和SPARK-ada库，我想正确地安装，有人能提供有关paths如何工作的任何信息吗？
浏览 25提问于2021-01-26得票数 1
回答已采纳
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号