A discussion on concurrent system verification for considering simultaneous event occurences

Bibliographic Information

Other Title
  • 同時性を考慮した並行システムの振舞い検証に関する考察

Search this article

Description

In the software development of concurrent systems, it is important to detect the events without fail that occur simultaneously with distributed multiple processes. We aim to support the behavioral verification of concurrent system design considering the simultaneity of multiple events occurrence. Our basic idea is to define the behavior of an entire concurrent system as the synthesis of section, and to localize the simultaneity in the section. In this paper we define the simultaneity of concurrent systems using the process algebra CSP, and give the framework of the behavioral verification considering the simultaneity. Moralizing to generalize the specification methods for the simultaneity facilitate the descriptions of specifications and verification for concurrency.

Journal

Keywords

Details 詳細情報について

  • CRID
    1572824502691384832
  • NII Article ID
    110009881301
  • NII Book ID
    AA12149313
  • ISSN
    09196072
  • Text Lang
    ja
  • Data Source
    • CiNii Articles

Report a problem

Back to top