3224 search results - page 325 / 645 » On Checking Model Checkers |
166
click to vote
TPHOL
2000
IEEE
15 years 11 months ago
2000
IEEE
We provide a proof using HOL and SPIN of convergence for the Routing Information Protocol (RIP), an internet protocol based on distance vector routing. We also calculate a sharp re...
197
click to vote
FMSP
2000
ACM
15 years 11 months ago
2000
ACM
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
174
click to vote
ARGMAS
2008
Springer
15 years 8 months ago
2008
Springer
Verification that agent communication protocols have desirable properties or do not have undesirable properties is an important issue in agent systems where agents intend to commu...
157
click to vote
AICT
2007
IEEE
2007
IEEE
Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks
15 years 8 months ago
— We describe a formal approach to the analysis of security aspects of an identity federation protocol for web services in convergent networks. This network protocol was proposed...
168
click to vote
FDL
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper, we propose the design methodology for communication channel templates from formal specification to RTL description. In this flow, design and verification start from...