12981 search results - page 251 / 2597 » Model Checking (Abstract) |
125
Voted
KBSE
2010
IEEE
15 years 1 months ago
2010
IEEE
82
Voted
CORR
2009
Springer
15 years 1 months ago
2009
Springer
115
Voted
ICFEM
2009
Springer
15 years 1 months ago
2009
Springer
One of the most important open problems of parallel LTL model-checking is to design an on-the-fly scalable parallel algorithm with linear time complexity. Such an algorithm would g...
77
Voted
ECEASST
2010
15 years 25 days ago
2010
