1109 search results - page 47 / 222 » Software verification for TinyOS |
208
click to vote
ICFP
2009
ACM
16 years 2 months ago
2009
ACM
We report on our experience using Haskell as an executable specification language in the formal verification of the seL4 microkernel. fication connects an abstract operational spe...
126
Voted
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
127
click to vote
CASSIS
2004
Springer
15 years 5 months ago
2004
Springer
The JAVA CARD transaction mechanism can ensure that a sequence of statements either is executed to completion or is not executed at all. Transactions make verification of JAVA CARD...
118
click to vote
FMICS
2008
Springer
15 years 3 months ago
2008
Springer
Given the intractability of exhaustively verifying software, the use of runtime-verification, to verify single execution paths at runtime, is becoming popular. Although the use of ...
108
click to vote
SAC
2010
ACM
15 years 1 months ago
2010
ACM
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...