Hacker News new | ask | show | jobs
by hedora 1333 days ago
Is there an example of a JVM that has been proven correct in this sense?

I haven't heard of one.
1 comments
smolder 1332 days ago
I don't know specific details about the correctness of any particular VM, sorry. That was just the explanation I got from another engineer that apparently had experience in developing embedded java things.
link