2878 search results - page 9 / 576 » Model Checking FTA |
130
Voted
GI
2009
Springer
15 years 4 days ago
2009
Springer
Abstract: Today's trend in software and system engineering is to utilize more specialized models. This model-based development approach makes a single engineering task more ea...
149
click to vote
ICST
2009
IEEE
15 years 3 days ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
112
Voted
KBSE
2010
IEEE
15 years 8 days ago
2010
IEEE
74
Voted
CORR
2009
Springer
15 years 5 days ago
2009
Springer
106
click to vote
ICFEM
2009
Springer
15 years 3 days 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...