1111 search results - page 162 / 223 » Program Analysis as Model Checking of Abstract Interpretatio... |
142
Voted
ILP
2003
Springer
15 years 7 months ago
2003
Springer
We believe that AI programs written for discovery tasks will need to simultaneously employ a variety of reasoning techniques such as induction, abduction, deduction, calculation an...
133
Voted
TCC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
128
Voted
ICLP
2010
Springer
15 years 6 months ago
2010
Springer
[6]. An SBML model can be interpreted in Biocham at three abstraction levels: • the Boolean semantics (asynchronuous Boolean state transitions on the presence/absence of molecule...
94
Voted
AIS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Model verification examines the correctness of a model implementation with respect to a model specification. While being described from model specification, implementatio...
106
click to vote
PLDI
2005
ACM
15 years 8 months ago
2005
ACM
We present a new technique, path slicing, that takes as input a possibly infeasible path to a target location, and eliminates all the operations that are irrelevant towards the re...