Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation-Reference-Cited by-同舟云学术

Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation

Published:2022 Issue: Volume: Page:306-320
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Groote Jan Friso^ORCID,Jilissen Kevin H. J.^ORCID,Laveaux Maurice^ORCID,van Spaendonck P. H. M.^ORCID,Willemse Tim A. C.^ORCID

Publisher

Springer Nature Switzerland

Link

https://link.springer.com/content/pdf/10.1007/978-3-031-15629-8_16

Reference40 articles.

1. ISO 8807:1989. Information processing systems - Open Systems Interconnection - LOTOS - A formal description technique based on the temporal ordering of observational behaviour (1989). ISO/IECJTC1/SC7

2. Blom, S., Lisser, B., van de Pol, J., Weber, M.: A database approach to distributed state space generation. Electron. Notes Theor. Comput. Sci. 198(1), 17–32 (2008)

3. Blom, S., van de Pol, J.: Distributed branching bisimulation minimization by inductive signatures. In: Brim, L., van de Pol, J. (eds.) Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2009, Eindhoven, The Netherlands, 4th November 2009, volume 14 of EPTCS, pp. 32–46 (2009)

4. van den Brand, M.G., de Jong, H.A., Klint, P., Olivier, P.A.: Efficient annotated terms. Softw. Pract. Experience 30(3), 259–291 (2000)

5. Calude, C.S., Jain, S., Khoussainov, B., Li, W., Stephan, F.: Deciding parity games in quasipolynomial time. In: STOC, pp. 252–263. ACM (2017)

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

1. Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment;Electronic Proceedings in Theoretical Computer Science;2024-03-27