940 search results - page 15 / 188 » Local rely-guarantee reasoning |
57
Voted
CSL
2001
Springer
15 years 2 months ago
2001
Springer
We prove an existential version of Gaifman’s locality theorem and show how it can be applied algorithmically to evaluate existential first-order sentences in finite structures....
CSFW
2005
IEEE
15 years 3 months ago
2005
IEEE
Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their...
78
Voted
NIPS
2004
14 years 11 months ago
2004
We describe a three
LICS
2010
IEEE
14 years 7 months ago
2010
IEEE
Stream circuits are a convenient graphical way to represent streams (or stream functions) computed by finite dimensional linear systems. We present a sound and complete expression...
101
click to vote
CAV
2007
Springer
15 years 3 months ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...