1109 search results - page 92 / 222 » Software verification for TinyOS |
109
click to vote
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
110
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
DAC
2003
ACM
16 years 2 months ago
2003
ACM
SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...
157
click to vote
ICFP
2006
ACM
16 years 1 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
108
Voted
ASE
2008
15 years 1 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...