00000ntmaa22000002i 4500 UP-8027390931312009061 Buklod 20260226135223.0 m|||||o||d|||||||| cr ||||||||||| 260212s2025 ph a b ||| u eng UPVT-00020035087 UPTC rda eng LG 993.5 2025 C66 A86 Asoy, Andrei Luz B. author. Automated verification of Classical Soundness in Robustness Diagrams with Loop and Time Controls via L-safeness Andrei Luz B. Asoy ; Jasmine A. Malinao, adviser. Tacloban City Division of Natural Sciences and Mathematics, University of the Philippines Tacloban College 2025. xi, 106 leaves illustrations 31 cm. text rdacontent unmediated rdacontent volume rdacarrier Undergraduate thesis (Bachelor of Science in Computer Science) -- University of the Philippines, Tacloban. Includes bibliographical references. This study addresses the absence of automated tools for verifying Classical Soundness in Robustness Diagrams with Loop and Time Controls. It introduces a novel verification approach based on structural and behavioral analysis, with a particular focus on L-safeness. A pre-processing algorithm transforms user-defined models from text format into expanded vertex-simplified representations, leveraging a matrix-based encoding to efficiently capture essential structural properties such as C-attributes, L-attributes, and expanded reusability To determine the appropriate application of Level-1 and Level-2 simplifications, each Reset-Bound Subsystem undergoes JOIN-type identification. This research develops specialized data structures and strategies for automated verification, including methods for evaluating the three key L-safeness criteria: Loop-safeness of non-critical arcs, Safeness of critical arcs, and 10IN-safeness. For systems that fail the verification for L-safeness, a modified activity extraction process is performed to identify activities that cause violations of L-safeness and potentially, Classical Soundness. By facilitating efficient operations for L-safeness and Classical Soundness verification, the proposed matrix-based framework streamlines the verification process, reducing complexity compared to traditional manual methods. By improving scalability and efficiency, this approach strengthens confidence in modeling real-world systems with high complexity. Computer software Verification. Malinao, Jasmine A. adviser. Thesis FI UP UPTAC UPTAC LG 993.5 2025 C66 A86 Thesis