FORMAL VERIFICATION Tiếng việt là gì - trong Tiếng việt Dịch

• xác minh chính thức

Ví dụ về việc sử dụng Formal verification trong Tiếng anh và bản dịch của chúng sang Tiếng việt

Smart contract resilience and formal verification.
Hợp đồng thông minh Smart contracts và Formal verification.

Formal Verification Platform for Smart Contracts and Blockchain Ecosystems.
Nền tảng xác nhận chính thức cho smart contracts và hệ sinh thái blockchain.

They are accepted only after formal verification and approval.
Chúng chỉ được chấp nhận sau khi xác minh và phê duyệt chính thức.

Easy formal verification makes programs written in the language more secure.
Dễ dàng xác minh chính thức làm cho các chương trình được viết bằng ngôn ngữ an toàn hơn.

Cardano is written in the Haskell programming language, which enables the formal verification of code.
Ngôn ngữ lập trình cho Cardano do Haskell viết, đảm bảo mã toán học chính xác.

HarmonyOS is the first OS to use formal verification in device TEE, significantly improving security.
HarmonyOS là hệ điều hành đầu tiên sử dụng xác minh chính thức tại thiết bị TEE, cải thiện tính bảo mật một cách rõ rệt.

It was invented by the Tezos development team to facilitate a process known as formal verification.
Nó được phát minh bởi nhóm phát triển Tezos để tạo điều kiện cho một quá trình được gọi là xác minh chính thức.

HarmonyOS is the first OS to use formal verification in device TEE, significantly improving security.
HarmonyOS là hệ điều hành đầu tiên sử dụng kiểm định hình thức trong TEE của thiết bị, cải thiện đáng kể khả năng bảo mật.

Formal verification proves that some properties of the contract will be maintained, but does not necessarily mean that the code is 100% correct.
Xác minh chính thức chứng minh rằng một số thuộc tính của hợp đồng sẽ được duy trì, nhưng không nhất thiết có nghĩa là mã là 100% chính xác..

Late in 2009 NICTA announced that it has completed the formal verification of the seL4 kernel.
Cuối năm 2009NICTA đã công bố rằng nó đã hoàn tất sự xác nhậnchính thức của nhân seL4.

Smart Contracts& Formal Verification Proof-of-Stake Self-amendment: Tezos can upgrade itself without having to split(“fork”) the network into two different blockchains.
Hợp đồng thông minh& Xác minh chính thức Proof- of- Stake Tự sửa đổi: Tezos có thể tự nâng cấp mà không cần phải chia(" fork") mạng thành hai blockchain khác nhau.

Michelson's simplicity also makes it easy to perform formal verification on its programs, which the language is also optimized for.
Sự đơn giản của Michelson cũng giúp dễ dàng thực hiện xác minh chính thức về các chương trình của nó, ngôn ngữ nào cũng được tối ưu hóa cho.

Xinshu Dong, CEO of Zilliqa, among the first Blockchain to use the technology of sharding with a public testnet launched on March 31, recognizes also the importance of formal verification of smart contracts.
Xinshu Dong, Giám đốc điều hành của Zilliqa, một trong những blockchain sử dụng công nghệ sharding với một buổi thử ra mắt vào 31/ 03, nhận thấy sự quan trong của việc xác minh chính thức các hợp đồng thông minh..

The own language for smart contracts, called Michelson, offers a formal verification system under the principle that is used in the aviation industry.
Ngôn ngữ riêng cho các hợp đồng thông minh, gọi Michelson, cung cấp một hệ thống xác minh chính thức theo nguyên tắc được sử dụng trong ngành công nghiệp hàng không.

The technology facilitates formal verification, which mathematically proves the correctness of the operations regulatory code and increases the security of the most delicate or financially weighted smart contracts.
Công nghệ này tạo điều kiện xác minh chính thức, mà toán học đã chứng minh sự đúng đắn của mã điều tiết hoạt động và làm tăng sự an toàn của các hợp đồng thông minh tinh tế nhất hoặc trọng tài chính..

Its aim is to create a home for decentralized apps and smart contracts that can be processed with formal verification, which allows mathematical proof of the correctness of code.
Mục tiêu của là tạo ra một ngôi nhà cho các ứng dụng phi tập trung và các hợp đồng thông minh có thể được xử lý với xác minh chính thức, cho phép bằng chứng toán học về tính chính xác của code.

It encourages the community to apply formal verification and DevSecOps methodologies to enforce automatic or manual examinations or verifications on the recorded information.
Nó khuyến khích cộng đồng áp dụng xác minh chính thức và phương pháp DevSecOps để thực thi kiểm tra tự động hoặc thủ công hoặc xác minh trên thông tin được ghi lại.

Actually, testing can never establish the correctness of computer software, as this can only be done by formal verification(and only when there is no mistake in the formal verification process).
Trên thực tế, kiểm thử không bao giờ có thể chứng minh được tính đúng đắn của một phần mềm máy tính, mà điều này chỉ có thể thực hiện được bằng việc thẩm tra chính thức( và chỉ khi không có lỗi trong quá trình thẩm tra chính thức).

Vite will implement contractual formal verification technology to tackle smart contract development and we are considering offering a smart contract solution based on WASM.
Vite sẽ triển khai công nghệ xác minh chính thức theo hợp đồng để giải quyết phát triển hợp đồng thông minh và chúng tôi đang xem xét cung cấp giải pháp hợp đồng thông minh dựa trên WASM.

The governance system shares some similarities with Dash, while Michelson is its smart contract language which will allow for formal verification so developers can confirm their code is mathematically correct.
Hệ thống quản trị chia sẻ một số điểm tương đồng với Dash, trong khi Michelson là ngôn ngữ hợp đồng thông minh sẽ cho phép xác minh chính thức để các nhà phát triển có thể xác nhận mã của họ là chính xác..

Finally, Tezos has also prioritized security via implementing formal verification- which Ethereum lacks- that essentially allows developers to mathematically prove the correctness of their smart contract code.
Cuối cùng, Tezos cũng đã ưu tiên bảo mật thông qua việc thực hiện xác minh chính thức- mà Ethereum thiếu- về cơ bản cho phép các nhà phát triển chứng minh toán học về tính chính xác của mã hợp đồng thông minh của họ.

At the University of Beira Interior in Portugal, Tezos will fund two projects, one considering implementing Tezos for event logging of robots in factory environments, and the other looking at static analysis of smart contracts in programming languages such as Michelson and formal verification techniques and support for machine-checked smart contracts.
Tại trường đại học Beira Interior ở Bồ Đào Nha, Tezos sẽ tài trợ hai dự án, một trong số đó xem xét việc triển khai Tezos cho ghi nhật ký sự kiện robot trong môi trường nhà máy và phân tích tĩnh các hợp đồng thông minh bằng ngôn ngữ lập trình như Michelson và kỹ thuật xác minh chính thức, cho các hợp đồng thông minh được kiểm tra bằng máy.

A key feature of the platform is its formal verification approach, meaning that all dapps and smart contracts built on the network can be mathematically tested and proven, giving them a superior security advantage.
Một tính năng quan trọng của nền tảng này chính là hướng tiếp cận xác minh chính thức nghĩa là tất cả các dapp và hợp đồng thông minh được xây dựng trên mạng lưới có thể được kiểm tra và chứng minh dựa trên toán học, tạo cho họ một lợi thế siêu bảo mật.

The Ethereum community is also researching new programming languages such as Bamboo and Viper that are more suitable for formal verification and more constrained such that many vulnerabilities can be discovered by compilers rather than by hackers.
Cộng đồng Ethereum đang phát triển các ngôn ngữ lập trình mới như Bamboo và Viper, phù hợp hơn cho việc xác minh chính thức và hạn chế các lỗ hổng có thể được phát hiện bởi trình biên dịch chứ không phải là do tin tặc.

Buterin said that Ethereum will eventually introduce formal verification for smart contracts as well as a new Python-like“Viper” smart contract programming languages that's supposed to enable the development of safer Ethereum applications.
Buterin khẳng định rằng Ethereum cuối cùng sẽ giới thiệu việc xác minh chính thức cho các hợp đồng thông minh và một ngôn ngữ lập trình hợp đồng thông minh giống Python gọi là“ Viper” đang được triển khai để có thể phát triển các ứng dụng Ethereum an toàn hơn.

But a century of traditional computer science research is well placed to contribute to developing DNA computing through new programming languages, abstractions, and formal verification techniques- techniques that have already revolutionised silicon circuit design, and can help launch organic computing down the same path.
Nhưng một thế kỷ nghiên cứu khoa học máy tính truyền thống cũng góp phần vào phát triển máy tính ADN thông qua ngôn ngữ lập trình mới, trừu tượng, và các kỹ thuật xác minh chính thức- các kỹ thuật đã cách mạng hóa thiết kế mạch silicon, và có thể giúp khởi động tính toán hữu cơ theo cùng con đường.

Buterin confirmed that Ethereum will eventually introduce formal verification for smart contracts and that a new Python-like smart-contract programming language- dubbed“Viper”- is being implemented to enable the development of safer Ethereum applications.
Buterin khẳng định rằng Ethereum cuối cùng sẽ giới thiệu việc xác minh chính thức cho các hợp đồng thông minh và một ngôn ngữ lập trình hợp đồng thông minh giống Python gọi là“ Viper” đang được triển khai để có thể phát triển các ứng dụng Ethereum an toàn hơn.

The PhD curriculum in"Computer Science" is based on a central research theme on"modelling, analysis, formal verification and deployment of distributed systems" that includes a variety of scientific topics, among which modelling and analysis of business processes and service-oriented applications;
Chương trình tiến sĩ trong" Khoa học Máy tính" dựa trên chủ đề nghiên cứu trung tâm về" mô hình hóa, phân tích, xác minh chính thức và triển khai các hệ thống phân tán" bao gồm nhiều chủ đề khoa học khác nhau, trong đó mô hình hóa và phân tích các quy trình kinh doanh và các ứng dụng hướng dịch vụ;

Tezos is a decentralized blockchain that governs itself by establishing a true digital commonwealth and facilitates formal verification, a technique which mathematically proves the correctness of the code governing transactions and boosts the security of the most sensitive or financially weighted smart contracts.
Tezos là một blockchain được phân quyền kiểm soát chính bằng cách thiết lập một mạng lưới kỹ thuật số thực sự và tạo điều kiện xác minh chính thức, một kỹ thuật mà toán học chứng minh sự chính xác của các giao dịch quản lý và tăng cường an ninh của hợp đồng thông minh cân bằng nhất hoặc tài chính cân bằng.

Furthermore, hacking attacks such as the one that affected the DAO and triggered the Ethereum hard fork could become a thing of the past once formal verification of smart contracts, such as the ones Tezos or Zen Protocol projects are using, will ensure that there are absolutely no errors in the code and therefore no way to attack it.
Hơn nữa, các cuộc tấn công giống như cái đã ảnh hưởng DAO và kích hoạt hard fork của Ethereum có thể trở thành quá khứ sau khi xác minh chính thức của hợp đồng thông minh, giống như cái mà dự án Giao thức Tezos hay Zen đang dùng, sẽ bảo đảm không có bất kỳ lỗi nào trong hệ thống mã, và do vậy sẽ không có cách nào để tấn công nó.