2282 search results - page 229 / 457 » Active property checking |
167
Voted
ASIAN
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. We present a logic-based framework to evaluate the resilience of computer networks in the face of incidents, i.e., attacks from malicious intruders as well as random faul...
134
click to vote
CAV
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. TVLA is a parametric framework for shape analysis that can be easily instantiated to create different kinds of analyzers for checking properties of programs that use link...
145
click to vote
EUROCAST
2007
Springer
16 years 8 days ago
2007
Springer
Cryptographic hash functions are security primitives that compute check sums of messages in a strong manner and this way are of fundamental importance for ensuring integrity and au...
146
click to vote
ICALP
2007
Springer
16 years 8 days ago
2007
Springer
In this paper we present the theory and practice of co-logic programming (co-LP for brevity), a paradigm that combines both inductive and coinductive logic programming. Co-LP is a ...
151
click to vote
TGC
2007
Springer
16 years 6 days ago
2007
Springer
Many techniques exist for statically computing properties of the evolution of processes expressed in process algebras. Static analysis has shown how to obtain useful results that c...