Paus77 Sistem Terverifikasi dengan Struktur Berkelas Teruji