SVL: A Scripting Language for Compositional Verification-Reference-Cited by-同舟云学术

SVL: A Scripting Language for Compositional Verification

Published: Issue: Volume: Page:377-392
ISSN:
Container-title:Formal Techniques for Networked and Distributed Systems
language:
Short-container-title:

Author:

Garavel Hubert,Lang Frédéric

Publisher

Kluwer Academic Publishers

Link

http://link.springer.com/content/pdf/10.1007/0-306-47003-9_24.pdf

Reference32 articles.

1. M. Aguilar Cornejo, H. Garavel, R. Mateescu, N. de Palma. Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-Based Applications. In Proc. of DAIS’01. Kluwer Academic Publishers.

2. P. Boullier, P. Deschamp. Le système SYNTAX: Manuel d’utilisation et de mise en œuvre sous Unix. http://www-rocq.inria.fr/oscar/www/syntax , 1997.

3. A. Bouali, A. Ressouche, V. Roy, and R. de Simone. The Fc2Tools set: a Toolset for the Verification of Concurrent Systems. In Proc. of CAV’96, LNCS vol. 1102.

4. G. Chehaibar, H. Garavel, L. Mounier, N. Tawbi, and F. Zulian. Specification and Verification of the PowerScale Bus Arbitration Protocol: An Industrial Experiment with LOTOS. In Proc. of FORTE/PSTV’96. IFIP.

5. K. H. Cheung. Compositional Analysis of Complex Distributed Systems. Ph.D. thesis, Hong Kong Univ. of Science and Technology, 1998.

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

1. Compositional verification of priority systems using sharp bisimulation;Formal Methods in System Design;2023-05-17

2. Compositional Verification of Stigmergic Collective Systems;Lecture Notes in Computer Science;2023

3. Formal Modeling and Initial Analysis of the 4SECURail Case Study;Electronic Proceedings in Theoretical Computer Science;2022-03-21

4. Design and Deployment of Expressive and Correct Web of Things Applications;ACM Transactions on Internet of Things;2022-02-28

5. Probabilistic Model Checking of BPMN Processes at Runtime;Lecture Notes in Computer Science;2022