Formal Verification on HCP Terminal. A high-fidelity institutional dashboard providing real-time visualization and se.