একটি জায়গা যা একত্র করে Verilo কীভাবে প্রমাণ করে যা দেখায়: এক্সিকিউশনে যাচাইকরণ, টেম্পার-প্রমাণযোগ্য সিল, যে সততার নীতিতে আমরা নিজেদের ধরে রাখি, এবং যে স্পষ্ট সীমা আমরা কখনও অতিক্রম করব না।