| date | tags | |
|---|---|---|
2020-06-17 |
|
Tasks that can be performed on one or more [[[contract]]]s.
This list is from Camilleri (2017), which in turn cites Prisacariu's presentation from 2013. Slides are no longer online.
- [[[visualization]]]
- Comparison of a contract against previous version
- Conflict detection in one contract
- Compatibility of two or more contracts with each other
- Simulation
- Querying
- Property testing
- Negotiation
- Translation from one natural language to another