Just to remove any doubts, IOHK has funded last year a company called RunTime Verification, who is developing IELE, a next-generation virtual machine and a universal language framework to be used as core infrastructure for future blockchain technologies. IELE = ultimate compatibility between all blockchains
IELE is used as a “universal translator” for all these languages to be “readable” by Haskell/Plutus… A beautiful thing!
==> RunTime Verification works with NASA, they are no jokers.
Read this article for more details and thanks to @ADALove for sharing. Just wanted to state it in the title for more visibility
Explanation from Charles himself in the Boxmining Interview (from 1:13.00 to 1:19.00) https://www.youtube.com/watch?v=pcNDSSmkgkA&t=103s