Based on a study by Adelard (UK) commissioned by the German Bundesamt fuer Sicherheit in der Informationstechnik this paper
identifies crucial factors leading to the success or failure of the application of formal methods and provides ideas of improved
technology adoption perspectives by analysing the formal methods market.