Model Checking Algorithm Based on Ant Colony Swarm Intelligence

DOI10.1007/978-3-642-04962-0_41zbMath1187.68321OpenAlexW1604876518MaRDI QIDQ3399983

Chengyu Hu, Yuan Wang, Xiangning Wu

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)

This page was built for publication: Model Checking Algorithm Based on Ant Colony Swarm Intelligence