Consistency

- The transaction is a correct transformation

of the state.

This means that the transaction is a correct

program.

Previous slide

Next slide

Back to first slide

View graphic version