1116 search results - page 110 / 224 » Applying Predicate Abstraction to Abstract State Machines |
JCC
2008
14 years 10 months ago
2008
Abstract: In this work, a numerical procedure based on the continuum model is developed and applied to the solvation energy for ground state and the spectral shift against the posi...
CANS
2011
Springer
13 years 11 months ago
2011
Springer
Abstract. In this paper we analyze the recently proposed light-weight block cipher PRINTCipher. Applying algebraic methods and SAT-solving we are able to break 8 rounds of PRINTCip...
CAV
2012
Springer
13 years 1 months ago
2012
Springer
A SAT-based incremental, inductive algorithm for model checking CTL properties is proposed. As in classic CTL model checking, the parse graph of the property shapes the analysis. H...
194
click to vote
POPL
2007
ACM
15 years 11 months ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
SAC
2009
ACM
15 years 6 months ago
2009
ACM
Abstract— This article describes how to accelerate the convergence of Preconditioned Conjugate Gradient (PCG) type eigensolvers for the computation of several states around the b...