Changes between Version 2 and Version 3 of VerificationWithContracts


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

--

Legend:

Unmodified
Added
Removed
Modified

  • VerificationWithContracts

    v2 v3  
    66* Contracts for MPI
    77* Contracts for reduction (see [wiki:ContractReduction])
     8All these contracts in CIVL are developed as extensions on ACSL language.
     9
     10== Contracts for sequential programs ==
     11{{{
     12Contracts for sequential programs are based on the theory of Hoare Logic. Contracts only state sequential properties on either
     13the pre-state or post-state of the given procedure.
     14}}}