Code Contracts Verifier (static analysis)
by Alexander Chebaturkin for Mono Project
This project will implement the static analysis verifier for .NET 4 Code Contracts, including numerical obligations analysis.
by Alexander Chebaturkin for Mono Project
This project will implement the static analysis verifier for .NET 4 Code Contracts, including numerical obligations analysis.