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.015zbMATH Open1186.68121OpenAlexW2055373773MaRDI QIDQ963372FDOQ963372
Authors: Francisco Chicano, Enrique Alba 
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
Recommendations
- Model Checking the Ant Colony Optimisation
- Using partial orders for the efficient verification of deadlock freedom and safety properties
- The Ant Colony Paradigm for Reliable Systems Design
- Hardware and Software, Verification and Testing
- Automated safety analysis by minimal path set detection for multi-domain object-oriented models
- Dynamic reductions for model checking concurrent software
- Accelerating bounded model checking of safety properties
Cites Work
- Ant colony optimization.
- Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
- Analyzing synchronous and asynchronous parallel distributed genetic algorithms
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Model Checking Software
- ON THE BEHAVIOR OF PARALLEL GENETIC ALGORITHMS FOR OPTIMAL PLACEMENT OF ANTENNAE IN TELECOMMUNICATIONS
Cited In (2)
Uses Software
This page was built for publication: Ant colony optimization with partial order reduction for discovering safety property violations in concurrent models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q963372)
