Bounded symbolic C# analysis platform for purity, invariants, runtime hazards, ownership/resource facts, and Z3-backed proofs.
csharp functional-programming roslyn dotnet static-analysis code-analysis symbolic-execution z3 program-analysis smt smt-solver purity formal-verification roslyn-analyzer side-effects code-contracts design-by-contract symbolic-analysis effect-system purity-analysis
-
Updated
Oct 30, 2026 - C#