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

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

zbMATH Keywords

ant colony optimizationmetaheuristicsmodel checkingprogram correctnessHSF-SPIN

Mathematics Subject Classification ID

Theory of software (68N99)

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

• scientific article; zbMATH DE number 1069483 (Why is no real title available?)
• scientific article; zbMATH DE number 2040797 (Why is no real title available?)
• scientific article; zbMATH DE number 1746648 (Why is no real title available?)
• scientific article; zbMATH DE number 2087625 (Why is no real title available?)
• Analyzing synchronous and asynchronous parallel distributed genetic algorithms
• Ant colony optimization.
• Model Checking Software
• ON THE BEHAVIOR OF PARALLEL GENETIC ALGORITHMS FOR OPTIMAL PLACEMENT OF ANTENNAE IN TELECOMMUNICATIONS
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem

Cited in

(2)

• Model checking algorithm based on ant colony swarm intelligence
• Modified ant colony algorithm for constructing finite state machines from execution scenarios and temporal formulas

Describes a project that uses

Uses Software

• MALLBA
• SPIN

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)