Exact Boolean Abstraction of Linear Equation Systems
We study the problem of how to compute the boolean abstraction of the solution set of a linear equation system over the positive reals. We call a linear equation system <i>ϕ</i> exact for the boolean abstraction if the abstract interpretation of <i>ϕ</i> over the structure of...
Guardado en:
Autores principales: | , , |
---|---|
Formato: | article |
Lenguaje: | EN |
Publicado: |
MDPI AG
2021
|
Materias: | |
Acceso en línea: | https://doaj.org/article/5de9c14dc891457885d83935d9c73366 |
Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|