Formal methods — Support or scientific decoration in software development?
Tomasz Szmuc, Marcin Szpyrka · 2015
The applicability of formal methods to support for software development is discussed in the paper. Software for realtime systems (esp. Safety Critical Systems) is of special interest. Petri nets, Alvis language and temporal logic are examined in which way they may support the development process. Selected approaches for using methods and related examples are discussed to answer the question stated in the title.