Formal Verification

as of 01/30/2023
The Hatom Ecosystem was developed with specific security rules, and Runtime Verification will formally verify each product.
*Formal verification is a method of mathematically proving the correctness of a system or program. It involves using formal methods to prove that a system meets its specified requirements and is free from certain types of errors. This is an important step in ensuring the security and reliability of a product, as it helps to identify and eliminate potential vulnerabilities.
Note that: The formal verification has not been completed yet.