An experiment in using RT-LOTOS for the formal specification and verification of a distributed scheduling algorithm in a nuclear power plant monitoring system-Reference-Cited by-同舟云学术

An experiment in using RT-LOTOS for the formal specification and verification of a distributed scheduling algorithm in a nuclear power plant monitoring system

Published:1997 Issue: Volume: Page:433-448
ISSN:
Container-title:Formal Description Techniques and Protocol Specification, Testing and Verification
language:
Short-container-title:

Author:

Andriantsiferana L.,Courtiat J.-P.,Oliveira R. C.,Picci L.

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-0-387-35271-8_27

Reference5 articles.

1. T. Bolognesi, J. van de Lagemaat, and C. Vissers, editors. LOTO-Sphere: Software Development with LOTOS. Kluwer Academic Publisher, 1995.

2. J.-P. Courtiat, P. Dembinski, G. Holzmann, L. Logrippo, H. Rudin, and P. Zave. Formal methods after 15 years: status and trends. To appear in Computer Networks and ISDN Systems, 1996.

3. CdO95] J.-P. Courtiat and R.C. de Oliveira. A Reachability Analysis of RT-LOTOS Specifications. In Proc. 8th Intern. Confer. on Formal Description Techniques (FORTE’95),Montreal, Canada, October 1995. Chapman Hall.

4. G.J. Holzmann. Design and validation of protocols: a tutorial. Computer Networks and ISDN Systems, 25: 981–1017, 1993.

5. M. Yannakakis and D. Lee. An efficient algorithm for minimizing real-time transition systems. In CAV ‘83, volume 697 of LNCS, pages 210–224. Springer-Verlag, 1993.

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

1. A New UML Profile for Real-Time System Formal Design and Validation;≪UML≫ 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools;2001