2 search results - page 1 / 1 » A Finite State Version of the Kraft--McMillan Theorem |
124
click to vote
SIAMCOMP
2000
15 years 5 months ago
2000
The main result is a finite-state version of the Kraft
175
click to vote
IPPS
1999
IEEE
15 years 10 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...