Verfying the Smart Contracts and their expected behavior
Verfying the Smart Contracts and their expected behavior