ABSTRACT
A D-Case that argues for the dependability of a complex, massive system is itself a complex, massive system of documents. It must be developed and updated by a large number of people, each with different responsibility for different parts of the D-Case. For the D-Case approach to complex systems to be effective, it is therefore crucial to develop computer-assisted techniques for checking and assuring the integrity of D-Case documents. Conventional review processes where team members read through the documents are not suffi cient.
