A carregar...
Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic
Much of an interpolation engine for bit-vector (BV) arithmetic can be constructed by observing that BV arithmetic can be modeled with linear integer arithmetic (LIA). Two BV formulae can thus be translated into two LIA formulae and then an interpolation engine for LIA used to derive an interpolant,...
Na minha lista:
| Publicado no: | Tools and Algorithms for the Construction and Analysis of Systems |
|---|---|
| Main Authors: | , |
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
2020
|
| Assuntos: | |
| Acesso em linha: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7439747/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-45190-5_5 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|