A safety checking algorithm with multi-swarm particle swarm optimization-Reference-Cited by-同舟云学术

A safety checking algorithm with multi-swarm particle swarm optimization

Published:2022-07-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the Genetic and Evolutionary Computation Conference Companion
language:
Short-container-title:

Author:

Kumazawa Tsutomu¹,Takimoto Munehiro²,Kambayashi Yasushi³

Affiliation:

1. Software Research Associates, Inc., Toshima-ku, Tokyo, Japan

2. Tokyo University of Science, Noda-shi, Chiba, Japan

3. Nippon Institute of Technology, Minamisaitama-gun, Saitama, Japan

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3520304.3528918

Reference14 articles.

1. Finding safety errors with ACO

2. Ant colony optimization with partial order reduction for discovering safety property violations in concurrent models

3. Design and synthesis of synchronization skeletons using branching time temporal logic

4. E. M. Clarke Jr. O. Grumberg D. Kroening D. Peled and H. Veith. 2018. Model Checking (2nd ed.). MIT Press. E. M. Clarke Jr. O. Grumberg D. Kroening D. Peled and H. Veith. 2018. Model Checking (2nd ed.). MIT Press.

5. Wiktor B. Daszczuk . 2021. Non-exhaustive Verification in Integrated Model of Distributed Systems (IMDS) Using Vagabond Algorithm . In Theory and Engineering of Dependable Computer Systems and Networks . Springer , 32--43. Wiktor B. Daszczuk. 2021. Non-exhaustive Verification in Integrated Model of Distributed Systems (IMDS) Using Vagabond Algorithm. In Theory and Engineering of Dependable Computer Systems and Networks. Springer, 32--43.

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

1. An Incremental Optimization Algorithm for Efficient Verification of Graph Transformation Systems;IEEE Access;2023

2. Enhancing Safety Checking Coverage with Multi-swarm Particle Swarm Optimization;Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection;2023