Navigating Emerging Complexities of Modern Systems: Advancements in Automated Verification and Security Techniques