2836 search results - page 20 / 568 » Model Checking for Software Architectures |
216
Voted
POPL
2005
ACM
16 years 2 months ago
2005
ACM
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
125
Voted
ISCIS
2004
Springer
15 years 8 months ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
149
click to vote
FMICS
2010
Springer
15 years 2 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
126
Voted
ISSTA
2004
ACM
15 years 8 months ago
2004
ACM
The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming la...
118
Voted
AC
2005
Springer
15 years 2 months ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...