1833 search results - page 6 / 367 » Mechanized Verification with Sharing |
195
Voted
JAR
2008
15 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...
195
Voted
FLAIRS
2000
15 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...
161
Voted
IPPS
2002
IEEE
16 years 10 days ago
2002
IEEE
172
Voted
WOTUG
2008
15 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...