ISTQB Exam ATTA Topic 3 Question 53 Discussion

Part 6 "Specification Based Test Techniques" You are testing a set of signal changes at a railway station. The system is newly build using a traditional V-model approach. A full set of documentation is available that can be used as a test basis. Furthermore the system is identified as being safety critical. Which technique would you most likely use? 2 credits [K4]