5084 search results - page 130 / 1017 » Proving Possibility Properties |
125
Voted
AMAI
1998
Springer
15 years 5 months ago
1998
Springer
ns. Finally, we study abstract properties of selection operators connected to belief set operators, which are used to choose some of the possible belief sets.
162
click to vote
RTA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper shows that the suitable orderings for proving innermost termination are characterized by the innermost parallel monotonicity, IP-monotonicity for short. This p...
153
click to vote
CSL
2004
Springer
15 years 9 months ago
2004
Springer
Using separation logic, this paper presents three Hoare logics (corresponding to different notions of correctness) for the simple While language extended with commands for heap acc...
143
click to vote
CCS
2006
ACM
15 years 9 months ago
2006
ACM
We present a process algebraic intruder model for verifying a class of liveness properties of security protocols. For this class, the proposed intruder model is proved to be equiv...
149
click to vote
CSR
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We prove a conjecture by A. Pnueli and strengthen it showing a sequence of "counting modalities" none of which is expressible in the temporal logic generated by...