1833 search results - page 6 / 367 » Mechanized Verification with Sharing |
19
Voted
JAR
2008
13 years 7 months ago
2008
We analyze three proof strategies commonly used in deductive verification of deterministic sequential programs formalized with operational semantics. The strategies are: (i) stepw...
FLAIRS
2000
13 years 8 months ago
2000
To date, there is little evidence that modular reasoning about fault-tolerant systems can simplify the verification process in practice. We study this question using a prominent e...
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
IPPS
2002
IEEE
14 years 11 days ago
2002
IEEE
WOTUG
2008
13 years 8 months ago
2008
Abstract. We prove the correctness of a two-way sliding window protocol with piggybacking, where the acknowledgments of the latest received data are attached to the next data trans...