@smart-contract-formal-verification

Foundry and Soroban formal invariant verification register: state transition rules, boundary invariant properties, and symbolic execution checks.