文件名称：fully_verified_jvm:Java虚拟机的完全验证的实现
文件大小：4KB
文件格式：ZIP
更新时间：2024-06-14 12:11:52
C
fully_verified_jvm Java虚拟机的经过完全验证的实现。 完全通过frama-c wp进行了验证。 100％兼容标准。 Java SE 7。
【文件预览】：
fully_verified_jvm-master
----.gitignore(259B)
----Makefile(421B)
----LICENSE(7KB)
----README.md(225B)
----main.c(485B)