Automatic contract-processing

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