| Popis: |
This an introduction to the formal methods perception in the community today. There are many incidents of software failure, and formal methods are advocated as a sure fire solution to the problems. This is however not seen to be so by the majority. There are barriers to the formal methods that need to be overcome by the practicing engineer before it is accepted as a process in all the safety critical software development projects. The first Workshop on “Application of Formal Methods for Safety & Security Critical Systems (AFMSS-2016)” brings together the engineers, researchers, and academia who have used these techniques in the field and gathers their insight into the twelve selected papers. This paper connects the dots. |
