15885 search results - page 5 / 3177 » The Modest Software Engineer |
214
Voted
APSEC
2005
IEEE
15 years 4 months ago
2005
IEEE
127
click to vote
ISSTA
2000
ACM
15 years 6 months ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...