Case Study: Verifiable (Component) Software

e.g. CMG Test Frame -- UML Use cases -> Test Action Words

Towards a formal approach

slide: Research Challenges