2514 search results - page 336 / 503 » The use of industrial-strength formal methods |
159
click to vote
CSMR
2005
IEEE
16 years 2 days ago
2005
IEEE
Object-oriented applications are difficult to extend and maintain, due to the presence of implicit dependencies in the inheritance hierarchy. Although these dependencies often co...
156
click to vote
LCN
2005
IEEE
16 years 1 days ago
2005
IEEE
Algorithms by which peers join and leave structured overlay networks can be classified as passive or active. Passive topology maintenance relies on periodic background repair of n...
158
click to vote
CAV
2005
Springer
16 years 7 hour ago
2005
Springer
This paper presents a toolset for model checking x86 executables. The members of the toolset are CodeSurfer/x86, WPDS++, and the Path Inspector. CodeSurfer/x86 is used to extract a...
156
click to vote
CAV
2005
Springer
16 years 7 hour ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
174
click to vote
CCS
2005
ACM
16 years 6 hour ago
2005
ACM
We provide an effective procedure for deciding the existence of off-line guessing attacks on security protocols, for a bounded number of sessions. The procedure consists of a co...