Ant colony optimization with partial order reduction for discovering safety property violations in concurrent models
From MaRDI portal
Publication:963372
DOI10.1016/j.ipl.2007.11.015zbMath1186.68121MaRDI QIDQ963372
Enrique Alba, Francisco Chicano
Publication date: 19 April 2010
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ipl.2007.11.015
68N99: Theory of software
Uses Software
Cites Work
- Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
- Analyzing synchronous and asynchronous parallel distributed genetic algorithms
- ON THE BEHAVIOR OF PARALLEL GENETIC ALGORITHMS FOR OPTIMAL PLACEMENT OF ANTENNAE IN TELECOMMUNICATIONS
- Model Checking Software
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item