135 search results - page 8 / 27 » Applicability of the BLAST Model Checker: An Industrial Case... |
WSC
2008
14 years 12 months ago
2008
An increased need for collaborative research, together with continuing advances in communication technology and computer hardware, has facilitated the development of distributed s...
VSTTE
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
122
click to vote
IFIP
2010
Springer
14 years 4 months ago
2010
Springer
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
FM
2009
Springer
15 years 2 months ago
2009
Springer
We study a clock synchronization protocol for the Chess WSN. First, we model the protocol as a network of timed automata and verify various instances using the Uppaal model checker...
93
Voted
SEAA
2008
IEEE
15 years 3 months ago
2008
IEEE
The quality evaluation of open source software (OSS) products, e.g., defect estimation and prediction approaches of individual releases, gains importance with increasing OSS adopt...