1109 search results - page 18 / 222 » Software verification for TinyOS |
ICFEM
2007
Springer
15 years 5 months ago
2007
Springer
AC
2002
Springer
15 years 1 months ago
2002
Springer
188
click to vote
IFM
2010
Springer
14 years 11 months ago
2010
Springer
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...
149
click to vote
POPL
2010
ACM
15 years 10 months ago
2010
ACM
We introduce higher-order, multi-parameter, tree transducers (HMTTs, for short), which are kinds of higher-order tree transducers that take input trees and output a (possibly infi...