1914 search results - page 113 / 383 » Verification by Abstract Interpretation |
114
click to vote
ATVA
2008
Springer
15 years 2 months ago
2008
Springer
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
92
Voted
CN
2008
15 years 23 days ago
2008
Abstract-- Routers in the Internet do not perform any verification of the source IP address contained in the packets, leading to the possibility of IP spoofing. The lack of such ve...
101
Voted
ENTCS
2006
15 years 20 days ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
103
Voted
STTT
2008
15 years 17 days ago
2008
Abstract. Managing access control policies in modern computer systems can be challenging and error-prone. Combining multiple disparate access policies can introduce unintended cons...
ICIAP
2005
ACM
16 years 23 days ago
2005
ACM
Abstract. Combining different algorithms submitted to the Third International Fingerprint Verification Competition (FVC2004) is studied. For this work, the matching results of more...