Tag · formal-verification

Formal Verification apps on winget

1 formal verification app indexed from microsoft/winget-pkgs. Each one ships with a ready-to-paste winget install command and a silent variant for unattended deployment.