Kumazawa, Tsutomu and Yokoyama, Chihiro and Takimoto, Munehiro and Kambayashi, Yasushi (2016) Ant Colony Optimization Based Model Checking Extended by Smell-like Pheromone. EAI Endorsed Transactions on Industrial Networks and Intelligent Systems.
![[thumbnail of 22815.pdf]](http://eprints.eai.eu/style/images/fileicons/application_pdf.png "22815.pdf")
PDF
22815.pdf
Download (1MB)
Abstract
Model Checking is a technique for automatically checking the model representing software or hardware about whether they satisfy the corresponding specifications. Traditionally, the model checking uses deterministic algorithms, but the deterministic algorithms have a fatal problem. They are consuming
| Item Type: | Article |
|---|---|
| Date Deposited: | 04 Mar 2026 10:40 |
| Last Modified: | 12 Apr 2026 10:00 |
| URI: | http://eprints.eai.eu/id/eprint/14211 |
Actions (login required)
- View Item