Start date is speculative

The DeVa project aims to make a major contribution to the problems of validating critical computing systems. DeVa places emphasis on software validation mainly with respect to dependability requirements rather than functional requirements, and concentrates particularly on issues of software structuring that will aid the design for validation of real-time distributed systems.