2836 search results - page 83 / 568 » Model Checking for Software Architectures |
130
click to vote
SEKE
2007
Springer
15 years 9 months 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...
149
Voted
TSE
2011
14 years 10 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...
144
Voted
SPIN
2004
Springer
15 years 9 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...
252
Voted
FMCAD
1998
Springer
15 years 7 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...
142
Voted
GI
2009
Springer
15 years 1 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...