1926 search results - page 54 / 386 » Modeling and Model Checking Software Product Lines |
123
click to vote
SEFM
2007
IEEE
15 years 11 months ago
2007
IEEE
Directed model checking algorithms focus computation resources in the error-prone areas of concurrent systems. The algorithms depend on some empirical analysis to report their per...
174
click to vote
FMICS
2010
Springer
15 years 5 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...
140
click to vote
AC
2005
Springer
15 years 4 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...
152
click to vote
ISSTA
2004
ACM
15 years 10 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...
123
click to vote
CAV
2007
Springer
15 years 11 months ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...