Formal Methods — How to Make Them Understandable and Usable for Engineers?

Abstract

The discussion was motivated by a long term observation, that each time when theoretically oriented computer scientists deeply involved in formal methods talk with “engineers from practice”, they don’t really understand each other. However, on the background of increasing importance of formal methods in many technically oriented application domains with high safety and reliability requirements, a cooperation between both parties becomes more and more important. This requires a common understanding.