I'm pretty sure that's just supposed to mean "applications that you really want to not have bugs in". Like code that will be dealing with large amounts of money

I'm pretty sure that's just supposed to mean "applications that you really want to not have bugs in". Like code that will be dealing with large amounts of money, say. The web page is pretty light on details; I get the impression that Wyrven is something they're using more as a research platform at this point than as something for developers to actually use.