1109 search results - page 9 / 222 » Software verification for TinyOS |
TASE
2010
IEEE
13 years 2 months ago
2010
IEEE
System and program verification has been a large
VSTTE
2005
Springer
14 years 26 days ago
2005
Springer
WWW
2006
ACM
14 years 8 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
ECBS
2010
IEEE
13 years 11 months ago
2010
IEEE
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
CBSE
2006
Springer
13 years 11 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...