文件名称：java开发的cms系统源码-practical-fm:使用行业验证形式化方法精心策划的公司名单
文件大小：7KB
文件格式：ZIP
更新时间：2024-06-25 06:07:41
系统开源
java开发的cms系统源码在软件工程中使用形式验证方法的公司列表 如果您在列表中看到不再存在的公司，或者不再使用正式方法，请发送带有解释的拉取请求。 如果您目前正在或知道一家使用正式方法但不在列表中的公司，情况也是如此。 请包括网站、github（如果适用）、位置和部门。 如果公司正在招聘，请附上广告的链接。 名称 地点 部门 来源 美国 电子商务、云计算 TLA+ , , CBMC 法国 Astrée ：“2003 年，Astrée 证明了空中客车模型的主要飞行控制软件没有任何运行时错误。系统的 132,000 行 C 代码在 2.8GHz 32 位 PC 上使用300MB 内存（在使用 580MB 内存的 AMD Athlon 64 上仅需 50 分钟。从那时起，Airbus France 一直在使用 Astrée 为各种飞机系列开发安全关键软件，包括 A380。”， Coq （ )， CAVEAT ，由 CEA 和 . 法国, 巴黎 SPARK 美国加利福尼亚州圣克拉拉谷 硬件和软件 美国，加利福尼亚州，圣何塞 硬件 , TLA+ 美国, 纽约 ? ? ? 区块链 Coq 美国
【文件预览】：
practical-fm-master
----README.md(16KB)