1914 search results - page 99 / 383 » Verification by Abstract Interpretation |
83
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...
107
Voted
FM
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. The paper introduces the construct of temporal testers as a compositional basis for the construction of automata corresponding to temporal formulas in the PSL logic. Temp...
CAV
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We describe an interpolant-based approach to test generation and model checking for sequential programs. The method generates Floyd/Hoare style annotations of the program...
128
click to vote
ISPEC
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Undeniable signatures, introduced by Chaum and van Antwerpen, require a verifier to interact with the signer to verify a signature, and hence allow the signer to control ...
102
Voted
ENTCS
2006
15 years 19 days ago
2006
Abstract. In this paper, we discuss the semantics of BPEL4WS language which is a de facto standard for specifying and execution workflow specification for web service composition a...