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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Emilie Allart, Joachim Niehren, Cristian Versari
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!