Sciweavers

11 search results - page 3 / 3
» Paths and trails in edge-colored graphs
Sort
View
EUROCAST
2007
Springer
159views Hardware» more  EUROCAST 2007»
14 years 1 months ago
Ant Colony Optimization for Model Checking
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...
Enrique Alba, J. Francisco Chicano