Code Contracts Static Verifier: Continued
by Alexander Chebaturkin for Mono Project
Static Verification of Code Contracts continued. Numerical analysis of integer values. Refine existing code using tests. Fixing some issues in Data Flow Analysis and Control Flow Graph construction to support invariants and postconditions.