61 search results - page 1 / 13 » Mechanical Verification of Hypercube Algorithms |
IPPS
2002
IEEE
13 years 9 months ago
2002
IEEE
CHARME
2001
Springer
13 years 8 months ago
2001
Springer
The framework of this paper is the formal specification and proof of applications distributed on symmetric interconnection networks, e.g. the torus or the hypercube. The algorithms...
SCP
2008
13 years 4 months ago
2008
In [5] we build a formal verification technique for game based correctness proofs of cryptograhic algorithms based on a probabilistic Hoare style logic [10]. An important step towa...
HPCS
2006
IEEE
13 years 10 months ago
2006
IEEE
We address computational issues relevant to the study of disordered quantum mechanical systems at very low temperatures. As an example we consider the disordered BoseHubbard model...
IPPS
1999
IEEE
13 years 9 months ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...