formal verification (FORMAL VEI) Price, Chart & Trading