fully_verified_jvm

A fully verified implementation of the Java Virtual Machine.

Fully verified with frama-c wp. 100% compatible to the standard.

Java SE 7.

https://docs.oracle.com/javase/specs/jvms/se7/html/index.html