Text this: Formal Modeling and Verification for MVB