This is an archived page and is no longer updated.
Computer-Related Incidents with Commercial Aircraft
Analysis) is a series of
techniques of formal semantics and logic developed by Peter
Ladkin and associates in the
RVS group at the University of Bielefeld for the formal analysis
and explication of accidents. WB-analysis has been applied
successfully to various accident reports to clarify the exact
causal role of the known events and system states, and the
causal sequences arising in the course of the accident.
Analyses and technical papers are to be found on the
Applications of Formal Methods