1109 search results - page 129 / 222 » Software verification for TinyOS |
249
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...
137
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
While temporal verification of programs is a topic with a long history, its traditional basis--semantics based on word languages--is illsuited for modular reasoning about procedura...
135
click to vote
EICS
2009
ACM
15 years 11 months ago
2009
ACM
Smart environments (e.g., airports, hospitals, stadiums, and other physical spaces using ubiquitous computing to empower many mobile people) provide novel challenges for usability...
124
click to vote
HASE
2007
IEEE
15 years 10 months ago
2007
IEEE
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...
112
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
Reactive real-time systems have to react to external events within time constraints: Triggered tasks must execute within deadlines. The goal of this article is to automate, based ...