A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
On Applicability of Formal Methods and Tools to Dependable Services
2009
IEICE transactions on communications
As a variety of digital services are provided through networks, more and more efforts are made to ensure dependability of software behavior implementing services. Formal methods and tools have been considered as promising means to support dependability in complex software systems during the development. On the other hand, there have been serious doubts on practical applicability of formal methods. This paper overviews the present state of formal methods and discusses their applicability,
doi:10.1587/transcom.e92.b.9
fatcat:ik4pcpfbf5a4faa3ypurvvjc6a