00000ntmaa22000003a 4500 UP-8027390931316571447 Buklod 20260225102313.0 a r |||| u| ta 260225s2025 xx a r b|||| u|eng d UPVT-00020035670 UPTC rda eng LG 993.5 2025 C33 E44 Ejercito, James Andrew C. author. An automated verification of the notions of soundness of robustness diagram with loop and time controls James Andrew C. Ejercito; Jasmine A. Malinao, adviser. Tacloban City Division of Natural Sciences and Mathematics, University of the Philippines Tacloban College 2025. xii, 72 leaves illustrations. 31 cm. text rdacontent unmediated rdamedia volume rdacarrier Undergraduate thesis (Bachelor of Science in Computer Science) -- University of the Philippines, Tacloban. Available to the general public-YES. Available only after consultation with the author/adviser-NO. Available only for those bound by confidentiality agreement-NO. There have been four formalized notions of soundness in Robustness Diagrams with Loop and Time Controls namely classical, relaxed, weak and easy. Currently, there is no automated solution for the verification of relaxed, weak, and easy soundness. To address this gap, this work proposes a Javascript GUI tool that automates the verification of the classical, relaxed, weak, and easy soundness of Robustness Diagram with Loop and Time Controls (RDLT). It employs different strategies to verify each notion of soundness based on existing literature. The tool also integrates the existing automation on classical soundness. It is designed to be user-friendly and efficient, allowing users to easily verify the soundness of RDLTs without the need for manual verification methods. A real-world system is also chosen on top of functional testing to verify the integrity of the soundness module. Software engineering Verification and validation. Malinao, Jasmine A. adviser. Thesis FI UP UPTAC UPTAC LG 993.5 2025 C33 E44 Thesis