1036 search results - page 56 / 208 » Verification Programs for Abduction |
118
Voted
LOGCOM
2010
14 years 7 months ago
2010
Perfect pre-deployment test coverage is notoriously difficult to achieve for large applications. Given enough end users, however, many more test cases will be encountered during a...
191
click to vote
POPL
2002
ACM
16 years 1 months ago
2002
ACM
e Abstraction for Software Verification Cormac Flanagan Shaz Qadeer Compaq Systems Research Center 130 Lytton Ave, Palo Alto, CA 94301 Software verification is an important and di...
122
click to vote
ASE
2005
15 years 20 days ago
2005
Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasin...
84
Voted
AMI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We provide the first tool for verifying the logic of contextaware applications written for the mainstream sensor network operating system TinyOS; we focus on detecting pr...
IFIP
2009
Springer
14 years 10 months ago
2009
Springer
A multi-party contract signing (MPCS) protocol is used for a group of signers to sign a digital contract over a network. We analyse the protocols of Mukhamedov and Ryan (MR), and o...