Login / Signup
Predicate abstraction with adjustable-block encoding.
Dirk Beyer
M. Erkan Keremoglu
Philipp Wendler
Published in:
FMCAD (2010)
Keyphrases
</>
fractal encoding
encoding scheme
block coding
first order logic
block size
row column
block wise
encoding process
encoding schemes
knowledge base
case study
horn clauses
fractal image compression
intra coding