1133 search results - page 84 / 227 » Local Logics for Traces |
CADE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We prove several results related to local proofs, interpolation and suion calculus and discuss their use in predicate abstraction and invariant generation. Our proofs and...
CORR
2004
Springer
15 years 20 days ago
2004
Springer
The development of autonomous molecular computers capable of making independent decisions in vivo regarding local drug administration may revolutionize medical science. Recently B...
97
Voted
CADE
2001
Springer
16 years 1 months ago
2001
Springer
In this paper, we present a syntax-directed termination and reduction checker for higher-order logic programs. The reduction checker verifies parametric higher-order subterm orderi...
106
Voted
SGAI
2009
Springer
15 years 5 months ago
2009
Springer
PSO is a population-based technique for optimization, which simulates the social behavior of the fish schooling or bird flocking. Two significant weaknesses of this method are: fir...
115
Voted
CADE
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...