Tom Gullion SRMV Toolsmith [email protected] (608) 315-2780 Executing UML Models as Verification Oracles Overview Charter Execute UML models as oracles of behavior exhibited…
