Ant Colony Optimization Based Model Checking Extended by Smell-like Pheromone
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...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
European Alliance for Innovation (EAI)
2016-04-01
|
| Series: | EAI Endorsed Transactions on Industrial Networks and Intelligent Systems |
| Subjects: | |
| Online Access: | https://eudl.eu/pdf/10.4108/eai.21-4-2016.151156 |