Towards Dependable Software Requirement Specifications

Formal proof of potential software failures early in the lifecycle can both significantly enhance safety and reduce development costs. The use of appropriate structured methods will provide developers with early indications of safety related design failures. Moreover such methods will generate a superset of possible software failure behaviour to support detection of hidden faults.