FreeSpec标准 swMATH ID: 37554 软件作者： 乐天T 描述： FreeSpec：一个Coq定理证明器的组合推理框架。SpecCert是一个针对硬件体系结构模型指定和验证基于硬件的安全执行（HSE）机制的框架。HSE机制形成了一类安全执行机制，使得一组受信任的软件组件依赖于硬件功能来执行安全策略。 主页： https://github.com/lthms/speccert 依赖项： Coq公司 相关软件： github；Coq公司；层次建设者；OCaml公司；阿格达；莫奈；操作的；卡米；岩盐矿；效率；FoCaLiZe公司；帕科；Coquet公司；电子稳定控制系统/Java；规格#；哈斯克尔 引用于： 2文件 全部的 前5名6位作者引用 1 雷纳尔德·阿弗尔德 1 皮埃尔·奇夫利埃 1 纪尧姆·希特 1 托马斯·莱坦 1 雷吉斯·贾纳斯，亚恩 1 阿尤木斋藤 连载1篇 1 计算的形式方面 在1个字段中引用 2 计算机科学（68至XX） 按年份列出的引文