Search results

Update FV specs and script

formal-verificationEnable FV run in a PR.Enable FV run in a PR.

ignore-changeset

Status: Open (in progress).

OpenZeppelin/openzeppelin-contractsnumber 5786

#5786 In OpenZeppelin/openzeppelin-contracts;

· Amxx opened on Jul 7, 2025

Formal verification of Account (7702+7579)

Account Abstraction

formal-verificationEnable FV run in a PR.Enable FV run in a PR.

ignore-changeset

Status: Open (in progress).

OpenZeppelin/openzeppelin-contractsnumber 5785

#5785 In OpenZeppelin/openzeppelin-contracts;

· Amxx opened on Jul 6, 2025

Add formal verification for the Governor system

formal-verificationEnable FV run in a PR.Enable FV run in a PR.

ignore-changeset

Status: Draft (not ready).

OpenZeppelin/openzeppelin-contractsnumber 4106

#4106 In OpenZeppelin/openzeppelin-contracts;

· Amxx opened on Mar 10, 2023