You are testing a set of signal changes at a railway station. The system is newly build using a traditional Vmodel 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?