On applicability of formal methods and tools to dependable services

Fuyuki Ishikawa, Shinichi Honiden

研究成果: Article査読

抄録

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, especially focusing on two representative methods (SPIN and B Method) and their recent industrial applications. This paper also discusses applications of formal methods to dependable networked software.

本文言語English
ページ(範囲)9-16
ページ数8
ジャーナルIEICE Transactions on Communications
E92-B
1
DOI
出版ステータスPublished - 2009
外部発表はい

ASJC Scopus subject areas

  • Software
  • Computer Networks and Communications
  • Electrical and Electronic Engineering

フィンガープリント 「On applicability of formal methods and tools to dependable services」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル