2836 search results - page 35 / 568 » Model Checking for Software Architectures |
125
click to vote
SPIN
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...
123
click to vote
ENTCS
2006
15 years 3 months ago
2006
The Advanced Microcontroller Bus Architecture (AMBA) is an open System-onChip bus protocol for high-performance buses on low-power devices. We demonstrate the combined use of mode...
141
click to vote
ICCD
2005
IEEE
15 years 9 months ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
142
Voted
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
125
click to vote
CSMR
2007
IEEE
15 years 3 months ago
2007
IEEE
To maintain and understand large applications, it is crucial to know their architecture. The first problem is that unlike classes and packages, architecture is not explicitly rep...