A Rigorous Approach to Checking Consistency in Accident Reports

摘要

In this note, we present a technique to analyse consistency in accident reports. This is achieved using the theorem prover PVS. 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. We show that our technique can be used in conjunction with other formal methods used to analyse accident reports.