BPV: Ensuring Processes Function as Intended