A tool based approach to checking logical consistency in accident reports

In this paper, we present a technique to analyse consistency in accident reports. This is achieved using the prototype verification system. The relevant evidence and the rules for normal behaviour are coded as axioms. These axioms are then used to identify the cause of the accident. The key aspect of our work is to describe the system using a notion of states and state predicates. We show that our technique can be used in conjunction with other formal methods used to analyse accident reports.