# Assurance và convenience

## Mục lục

1. MPP010601 - Một số điều sai có thể xảy ra - Marlowe Pioneer Program
2. MPP010602 - Phân tích tĩnh và Linting - Marlowe Pioneer Program
3. MPP010603 - Thuộc tính được xác minh chính thức - Marlowe Pioneer Program
4. MPP010604 - Kết luận về Assurance và convenience - Marlowe Pioneer Program

## Nội dung

### Một số điều sai có thể xảy ra

{% embed url="<https://youtu.be/jy-VYVVfvRY>" %}

### Phân tích tĩnh và Linting

{% embed url="<https://youtu.be/eYjNJEMIKzQ>" %}

### Thuộc tính được xác minh chính thức

{% embed url="<https://youtu.be/fybOIkC-1XQ>" %}

### Kết luận

{% embed url="<https://youtu.be/XHk6LCqHokg>" %}

## Bài tập

1. Lấy phiên bản Marlowe của *Mua hàng* và sửa đổi nó để nó vượt qua phân tích tĩnh *Hoàn lại tiền khi Đóng*
2. Viết một hợp đồng không có đề xuất chi tiết nhưng có thể có các khoản thanh toán không thành công và tìm chúng bằng cách sử dụng *phân tích Cảnh báo*
3. Bây giờ, hãy đưa ra một số khẳng định, chẳng hạn như bằng cách sử dụng cấu trúc AvailableMoney ở giữa hợp đồng và đảm bảo rằng họ vượt qua *phân tích Cảnh báo*
4. Viết một hợp đồng không có đề xuất linting nhưng có mã không thể truy cập được (không phải là Đóng) và tìm nó bằng cách sử dụng *phân tích Khả năng tiếp cận*