This is an archived page and is no longer updated.
Current content of Prof. Ladkin's research group is available at

Computer-Related Incidents with Commercial Aircraft

Fly-By-Wire Anomalies in Research Aircraft

John Rushby has collected some anecdotes about anomalies which appeared during flight research in USAF and NASA research aircraft, which appear in Anomalies in Digital Flight Control Systems (DFCS), a part of his forthcoming book with Cambridge University Press on the use of formal methods.