Unverified50% confidenceFactExact time
JBMC (Java Bounded Model Checker) is a bounded model checker for Java bytecode in the CBMC toolchain that can perform symbolic execution and assertion verification on Java programs.
1
Sources
50%
Confidence
Long-term
Relevance
10/28/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedJPBC（Java Pairing-Based Cryptography）是实现双线性对运算的主流 Java 库，广泛用于学术研究与原型验证67% similarUnverifiedJDK在JRE基础上额外包含编译器javac、调试工具jdb、字节码分析工具javap等开发工具链66% similarUnverified受限解码可将JSON schema转换为上下文无关文法（CFG），再编译为有限状态自动机实现逐Token合法性检查64% similarUnverifiedjscrambler是一款专注于JavaScript代码保护与混淆的工具64% similarVerifiedJMeter is a performance testing tool open-sourced by the Apache Foundation, developed in Java, and supports configuring test plans through a graphical interface.64% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1106292API
curl https://kongchang.com/api/v1/knowledge/claims/1106292MCP
get_claim(id=1106292)