1109 search results - page 58 / 222 » Software verification for TinyOS |
ICFEM
2009
Springer
14 years 11 months ago
2009
Springer
We present the integration of refinement method of VSE verification tool, successfully used in industrial applications, in the Heterogeneous Tool Set HETS. The connection is done v...
132
click to vote
AADEBUG
2005
Springer
15 years 7 months ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...
119
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Reusable software components need well-defined interfaces, rigorously and completely documented features, and a design amenable both to reuse and to formal verification; all these...
146
click to vote
PPOPP
2009
ACM
16 years 2 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
108
click to vote
SIGSOFT
2003
ACM
16 years 2 months ago
2003
ACM
Real-time, reactive, and embedded systems are increasingly used throughout society (e.g., flight control, railway signaling, vehicle management, medical devices, and many others)....