2878 search results - page 9 / 576 » Model Checking FTA |
138
click to vote
GI
2009
Springer
15 years 23 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...
151
click to vote
ICST
2009
IEEE
15 years 21 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...
CORR
2009
Springer
15 years 24 days ago
2009
Springer
109
click to vote
ICFEM
2009
Springer
15 years 22 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...