1109 search results - page 91 / 222 » Software verification for TinyOS |
207
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...
224
click to vote
POPL
2005
ACM
16 years 1 months ago
2005
ACM
on Predicate Abstraction and Fair Termination Andreas Podelski Andrey Rybalchenko Max-Planck-Institut f?ur Informatik Saarbr?ucken, Germany Predicate abstraction is the basis of m...
101
click to vote
ICFP
2007
ACM
16 years 1 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
102
click to vote
SIGSOFT
2009
ACM
16 years 2 months ago
2009
ACM
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...
112
click to vote
SIGSOFT
2009
ACM
16 years 2 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...