Using Callisto Network in Auditing Smart Contracts