Formal Verification For Structured Finance View Demo