2836 search results - page 83 / 568 » Model Checking for Software Architectures |
170
Voted
SEKE
2007
Springer
16 years 8 days ago
2007
Springer
A software architecture provides a high-level description of a software solution in terms of the structure, topology, and interactions between its principal components. While a nu...
192
click to vote
TSE
2011
15 years 1 months ago
2011
—Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs significant developmen...
183
click to vote
SPIN
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
284
click to vote
FMCAD
1998
Springer
15 years 10 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
179
click to vote
GI
2009
Springer
15 years 3 months 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...