Breaking Barriers: Formal Verification in Complex Compressor Controller