Konferenzen und Rahmenprogramm
Perceived Problems of Formal Methods and how to Tackle Them
Formal methods have a negative connotation within the engineering community and are generally seen as academic toys. However, at the same time the potential benefits of fully automatic formal verification are also very attractive in a world where we are relying more and more on software which is inherently unreliable. In this presentation we take as a starting point a list of perceived problems with formal methods and show one by one how these can be tackled. In the end we will have presented an approach that uses a formal method in a practical way giving all the benefits of formal verification without any of the perceived problems.
--- Datum: 26.02.2020 Uhrzeit: 14:00 - 14:30 Uhr Ort: Conference Counter NCC Ost