Formal Verification, the ultimate math examĪs software becomes increasingly complex, it is important to be able to build confidence in its security, efficiency, and resilience. Today, we are excited to announce a long-term partnership with Informal Systems that will further our formal verification efforts, and to share the formal methods assessments reports focused on some of Agoric’s most critical code. As the isolation properties and communications functionality that SwingSet provides across vats, promises, and objects are integral to the safety guarantees of the Agoric ecosystem, it is important to assess the correctness and soundness of such critical code. ![]() ![]() □ Read Formal Verification Report: Phase 2Įarlier this year, Agoric engaged Informal Systems to begin formally verifying the kernel component of the JavaScript VM ( SwingSet), a foundational layer of the Agoric stack that partitions risk by dividing the execution environment into vats. ![]() □ Read Formal Verification Report: Phase 1
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |