Did you know that the Ada language compiler that Dansk Datamatik Center developed in the early 1980s has been termed an underappreciated success story in the use of formal methods ?