Model checking algorithm based on ant colony swarm intelligence

DOI10.1007/978-3-642-04962-0_41MaRDI QIDQ3399983zbMATH OpenOpenAlexFDO

Authors Xiangning Wu, Chengyu Hu, Yuan Wang

Publication date 15 January 2010

Published in Communications in Computer and Information Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-04962-0_41

zbMATH Keywords

model checkingpheromoneautomated software testingant colony swarm intelligence

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Model Checking the Ant Colony Optimisation
• Ant colony optimization with partial order reduction for discovering safety property violations in concurrent models
• Model checking of a mobile robots perpetual exploration algorithm
• Ant algorithms: theory and applications
• scientific article; zbMATH DE number 910719

Cited in

(4)

• Model Checking the Ant Colony Optimisation
• Modified ant colony algorithm for constructing finite state machines from execution scenarios and temporal formulas
• Swarm Intelligence Models: Ant Colony Systems Applied to BNF Grammars Rule Derivation
• Modeling and Optimization of a Swarm-Intelligent Inspection System

This page was built for publication: Model checking algorithm based on ant colony swarm intelligence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3399983)