Changes between Version 3 and Version 4 of VerificationWithContracts


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

--

Legend:

Unmodified
Added
Removed
Modified

  • VerificationWithContracts

    v3 v4  
    1111{{{
    1212Contracts for sequential programs are based on the theory of Hoare Logic. Contracts only state sequential properties on either
    13 the pre-state or post-state of the given procedure.
     13the pre-state or post-state of the given procedure. All sequential contract constructors are inherited from ACLS, CIVL will start
     14from supporting part of them.
    1415}}}