Traverdi — Transformation and verification of distributed systems-Reference-Cited by-同舟云学术

Traverdi — Transformation and verification of distributed systems

Published:1995 Issue: Volume: Page:317-338
ISSN:0302-9743
Container-title:KORSO: Methods, Languages, and Tools for the Construction of Correct Software
language:
Short-container-title:

Author:

Bohn J.,Hungar H.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0015470

Reference32 articles.

1. J.K. Annot and R.A.H. van Twist. A novel deadlock free and starvation free packet switching communication processor. In J.W. de Bakker, A.J. Nijman, and P.C. Treleaven, editors, Parallel Architectures and Languages Europe, LNCS 258. Springer, 1987.

2. R. Baumann. Implementierung eines Kommunkationsalgorithmus und Verifikation des Programms mit modelcheckbasierten Techniken. Master thesis, CvO University Oldenburg, 1994.

3. J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, and J. Hwang. Symbolic model checking: 1020 states and beyond. In 5th IEEE Symp. on Logic in Comp. Sc., pages 428–439, 1990.

4. D. Bjørner et al. A ProCoS project description — ESPRIT BRA 3104. EATCS Bulletin, 39:60–73, 1989.

5. J. Bohn. Formalizing the transformational design of communicating systems in the theorem prover lambda. Technical report, CvO University Oldenburg, 1993. Presented at HOA'93, Amsterdam.

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

1. Specification and verification using a visual formalism on top of temporal logic;Formal Systems Specification;1996

2. The incremental development of correct specifications for distributed systems;FME'96: Industrial Benefit and Advances in Formal Methods;1996

3. The Korso case study for software engineering with formal methods: A medical information system;KORSO: Methods, Languages, and Tools for the Construction of Correct Software;1995

4. On automatic and interactive design of communicating systems;Tools and Algorithms for the Construction and Analysis of Systems;1995