If Dafny is not production ready, what language can I use with similar formal verification features and that is already used in production in mission critical e

If Dafny is not production ready, what language can I use with similar formal verification features and that is already used in production in mission critical environments?