Flight data recorder - device used to record aircraft and pilot behavior in order to analyze accidents (usually called "black boxes" by the news media).
FDR resp. FDR2 - A software to check formal models expressed in Communicating_sequential_processes, developed by Formal Systems (Europe) Ltd..