2836 search results - page 48 / 568 » Model Checking for Software Architectures |
119
click to vote
DAC
2010
ACM
15 years 7 months ago
2010
ACM
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...
124
Voted
EUROMICRO
2007
IEEE
15 years 9 months ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
122
click to vote
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
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...
127
Voted
ICSM
2008
IEEE
15 years 9 months ago
2008
IEEE
We wish to investigate how structural design principles are used in practice, in order to assess the utility and relevance of such principles to the maintenance of large, complex,...