Just an aside for some posters above this post who have been talking about Java as the superior choice to C++ what planet do you come from? Java is slower then C++ because of all the overheads of running the code.
A world in which a segfault in an FAI could end it.
Formal verification is typically only used in highly safety-critical systems—and often isn’t used there either. If you look at the main applications for intelligent systems, not terribly many are safety critical—and the chances of being able to do much in the way of formal verification at a high-level seems pretty minimal anyway.
A world in which a segfault in an FAI could end it.
I hope any FAI would be formally verified to a far greater extent than any existing JVM.
Formal verification is typically only used in highly safety-critical systems—and often isn’t used there either. If you look at the main applications for intelligent systems, not terribly many are safety critical—and the chances of being able to do much in the way of formal verification at a high-level seems pretty minimal anyway.