Noem twee toepassingen van formele methoden in het V&V-proces