5084 search results - page 3 / 1017 » Proving Possibility Properties |
CADE
2008
Springer
14 years 10 months ago
2008
Springer
Security protocols are small programs designed to ensure properties such as secrecy of messages or authentication of parties in a hostile environment. In this paper we investigate ...
CSR
2007
Springer
14 years 4 months ago
2007
Springer
t) Yuri Gurevich Microsoft Research The talk reflects recent joint work with Nachum Dershowitz [4]. In 1936, Church suggested that the recursive functions, which had been defined...
JMIV
2006
13 years 9 months ago
2006
The uncertainty principle is a fundamental concept in the context of signal and image processing, just as much as it has been in the framework of physics and more recently in harmo...
BIOSTEC
2008
13 years 11 months ago
2008
IPPS
1998
IEEE
14 years 2 months ago
1998
IEEE
Abstract. We address the general problem of automatically proving safety properties of reactive systems within the UNITY model. We take up a relational and set-based approach, and ...