| Version 2 (modified by , 10 years ago) ( diff ) |
|---|
Verify programs with Contracts
Different kinds of contracts
CIVL generally provides three kinds of contracts:
- Contracts for sequential programs
- Contracts for MPI
- Contracts for reduction (see ContractReduction)
Note:
See TracWiki
for help on using the wiki.
