Verification of programs with half-duplex communication-Reference-Cited by-同舟云学术

Verification of programs with half-duplex communication

Published:2005-11 Issue:2 Volume:202 Page:166-190
ISSN:0890-5401
Container-title:Information and Computation
language:en
Short-container-title:Information and Computation

Author:

Cécé Gérard,Finkel Alain

Publisher

Elsevier BV

Subject

Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science

Reference33 articles.

1. P.A. Abdulla, A. Bouajjani, B. Jonsson, N. Marcus, Handling global conditions in parameterized system verification, in: CAV’99, Lecture Notes in Computer Science, vol. 1633, 1999, pp. 134–150.

2. Using forward reachability analysis for verification of lossy channel systems;Abdulla;Formal Methods Syst. Des.,2004

3. Undecidable verification problems for programs with unreliable channels;Abdulla;Informat. Comput.,1996

4. Verifying programs with unreliable channels;Abdulla;Informat. Comput.,1996

5. TReX: a tool for reachability analysis of complex systems;Annichini,2001

Cited by 56 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Synchronizability of Communicating Finite State Machines is not Decidable;Logical Methods in Computer Science;2023-12-20

2. Composition of synchronous communicating systems;Journal of Logical and Algebraic Methods in Programming;2023-10

3. Multiparty half-duplex systems and synchronous communications;Journal of Logical and Algebraic Methods in Programming;2023-02

4. Complete Multiparty Session Type Projection with Automata;Computer Aided Verification;2023

5. Comparing Channel Restrictions of Communicating State Machines, High-level Message Sequence Charts, and Multiparty Session Types;Electronic Proceedings in Theoretical Computer Science;2022-09-20