Tutorial: Use Formal Requirements to Reduce Test Efforts

With TPT18 you can add a formal notation for each requirement. You can have the so-called Formal Requirements checked automatically during each test run. Watch the tutorial.