A type of technical requirement mandating some characteristic of a formal verification activity. A verification requirement can apply in either the development or production phases.
A type of technical requirement mandating some characteristic of a formal verification activity. A verification requirement can apply in either the development or production phases.