Changes between Version 1 and Version 2 of VerificationWithContracts


Ignore:
Timestamp:
01/21/16 17:23:50 (10 years ago)
Author:
ziqing
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • VerificationWithContracts

    v1 v2  
    1 Verify programs with Contracts
     1== Verify programs with Contracts ==
     2
     3== Different kinds of contracts ==
     4CIVL generally provides three kinds of contracts:
     5* Contracts for sequential programs
     6* Contracts for MPI
     7* Contracts for reduction (see [wiki:ContractReduction])