“Axiom identifies code migration and proving the functional equivalence of legacy and new code as a key commercial use case for its formal verification technology.”