BriefGPT.xyz
Ask
alpha
关键词
formal methods
搜索结果 - 21
为什么你会相信 B?
使用 Coq 深度嵌入 B 逻辑以检查其正确性和实现 B 工具,实现了 B 逻辑的证明器。
PDF
15 years ago
Prev
Next