Specification and Verification of the PowerScaleTM Bus Arbitration Protocol: An Industrial Experiment with LOTOS-Reference-Cited by-同舟云学术

Specification and Verification of the PowerScaleTM Bus Arbitration Protocol: An Industrial Experiment with LOTOS

Published:1996 Issue: Volume: Page:435-450
ISSN:1868-4238
Container-title:Formal Description Techniques IX
language:
Short-container-title:

Author:

Chehaibar Ghassan,Garavel Hubert,Mounier Laurent,Tawbi Nadia,Zulian Ferruccio

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-0-387-35079-0_28

Reference23 articles.

1. Ahmed Bouajjani, Jean-Claude Fernandez, Susanne Graf, Carlos Rodriguez, and Joseph Sifakis. Safety for Branching Time Semantics. In Proceedings of 18th ICALP, Berlin, July 1991. Springer Verlag.

2. P. Bennett and A. Ramolini. The Power Scale Architecture: A Technical Overview. Journal of Technical Information for the Distributed Computing Model, January-February 1995.

3. Jean-Claude Fernandez. An Implementation of an Efficient Algorithm for Bisimulation Equivalence. Science of Computer Programming, 13(2–3):219–236, May 1990.

4. Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Radu Mateescu, Laurent Mounier, and Mihaela Sighireanu. CADP (CÆSAR/ALDEBARAN Development Package): A Protocol Validation and Verification Toolbox. In Rajeev Alur and Thomas A. Henzinger, editors, Proceedings of the 8th Conference on Computer-Aided Verification (New Brunswick, New Jersey, USA), August 1996.

5. Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodriguez, and Joseph Sifakis. A Toolbox for the Verification of LOTOS Programs. In Lori A. Clarke, editor, Proceedings of the 14th International Conference on Software Engineering ICSE’14 (Melbourne, Australia), pages 246–259, New-York, May 1992. ACM.

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

1. An integrated trading platform for construction and demolition waste recovery in a circular economy;Sustainable Chemistry and Pharmacy;2022-04

2. Equivalence Checking 40 Years After: A Review of Bisimulation Tools;Lecture Notes in Computer Science;2022

3. Probabilistic bisimulation for realistic schedulers;Acta Informatica;2018-02-24

4. Compositional Verification in Action;Formal Methods for Industrial Critical Systems;2018

5. Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs;Dependable Software Engineering. Theories, Tools, and Applications;2017