English formal verification: перевод на другие языки