1914 search results - page 39 / 383 » Verification by Abstract Interpretation |
SYMMETRY
2010
14 years 11 months ago
2010
135
click to vote
TAICPART
2006
IEEE
15 years 10 months ago
2006
IEEE
ract: Problem Statement and Hypothetical Solutions Shaukat Ali Verification and Testing Group (VT) Department of Computer Science University of Sheffield
124
click to vote
TCS
2008
15 years 4 months ago
2008
This paper provides one more step towards bridging the gap between the formal and computational approaches to the verification of cryptographic protocols. We extend the well-known ...
257
click to vote
POPL
2005
ACM
16 years 4 months ago
2005
ACM
on Predicate Abstraction and Fair Termination Andreas Podelski Andrey Rybalchenko Max-Planck-Institut f?ur Informatik Saarbr?ucken, Germany Predicate abstraction is the basis of m...