1109 search results - page 14 / 222 » Software verification for TinyOS |
ICFEM
2009
Springer
13 years 5 months ago
2009
Springer
AMAST
2010
Springer
13 years 2 months ago
2010
Springer
CODES
2005
IEEE
14 years 1 months ago
2005
IEEE
The continuous improvement on the design methodologies and processes has made possible the creation of huge and very complex digital systems. Design verification is one of the mai...
SEW
2003
IEEE
14 years 20 days ago
2003
IEEE
Run-time monitoring is a lightweight verification method whereby the correctness of a programs’ execution is verified at run-time using executable specifications. This paper des...
SIGSOFT
2008
ACM
14 years 8 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...