待验证50% 置信事实精确时间
JBMC（Java Bounded Model Checker）是CBMC工具链中针对Java字节码的有界模型检查器，能够对Java程序进行符号执行和断言验证。
1
来源数
50%
置信度
长期有效
时效性
2026/10/28
首次发现
来源
涉及实体
相关事实
待验证JPBC（Java Pairing-Based Cryptography）是实现双线性对运算的主流 Java 库，广泛用于学术研究与原型验证67% 相似待验证JDK在JRE基础上额外包含编译器javac、调试工具jdb、字节码分析工具javap等开发工具链66% 相似待验证受限解码可将JSON schema转换为上下文无关文法（CFG），再编译为有限状态自动机实现逐Token合法性检查64% 相似待验证jscrambler是一款专注于JavaScript代码保护与混淆的工具64% 相似已验证JMeter是Apache基金会开源的性能测试工具，基于Java开发，支持通过图形界面配置测试计划64% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1106292API
curl https://kongchang.com/api/v1/knowledge/claims/1106292MCP
get_claim(id=1106292)