QOWY, FAIZ ISLAMIC (2026) PENGEMBANGAN HELIOVERIFY: ALAT VERIFIKASI FORMAL BERBASIS SATISFIABILITY MODULO THEORIES UNTUK KOREOGRAFIS DAN ORKESTRASI MICROSERVICES. S1 thesis, Fakultas Teknik Universitas Sultan Ageng Tirtayasa.