3342 search results - page 307 / 669 » Automating Abstract Interpretation |
186
Voted
LPNMR
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. Multi-context systems are a formalism to interlink decentralized and heterogeneous knowledge based systems (contexts), which interact via (possibly nonmonotonic) bridge r...
157
Voted
PADL
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. Modern web forms interact with the user in real-time by detecting errors and filling-in implied values, which in terms of automated reasoning amounts to SAT solving and ...
173
click to vote
CRYPTO
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. We present EasyCrypt, an automated tool for elaborating security proofs of cryptographic systems from proof sketches—compact, formal representations of the essence of a...
243
click to vote
FROCOS
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
271
click to vote
LPAR
2012
Springer
13 years 11 months ago
2012
Springer
Abstract. We present a novel counterexample generator for the interactive theorem prover Isabelle based on a compiler that synthesizes test data generators for functional programmi...