alexanderfedin 

Contract attributes for C# formal verification

C# formal verification — contract attributes and Roslyn analyzer in a single package. Add [Requires], [Ensures], and [Invariant] attributes to your code and get real-time verification feedback in your IDE.

SMT solver integration for C# formal verification (CVC5, Z3)

Roslyn analyzer for C# formal verification contracts

Command-line interface for C# formal verification

SMT-LIB2 code generator for C# formal verification. Converts C# methods with contracts to SMT-LIB2 format for CVC5 verification.

AspNet App in-process hosting to support integration testing

Core orchestration pipeline for C# formal verification

Package Description