Novedades Ayuda Acceso institucional

Buscar recursos académicos

Encontrá libros, artículos, revistas, tesis y otros recursos académicos. Buscá, elegí el resultado correcto y accedé al contenido.

Búsqueda avanzada
Qué reúne NODOVOX Discovery: catálogos institucionales, recursos electrónicos, revistas de acceso abierto, colecciones disponibles y enlaces de consulta académica.
medicina forense derecho revistas Open Access texto completo

Resultados

1 resultados encontrados.

Tipos de recurso: Libro electrónico Artículo Revista Tesis Capítulo
Búsqueda académica
Analysis of invariants for efficient bounded verification
Texto / recurso
Acceso abierto Texto / recurso RI ITBA
Analysis of invariants for efficient bounded verification
Galeotti, Juan Pablo et al · RI ITBA · 2022
"SAT-based bounded veri cation of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for speci cation violations using a SAT-solver. If a v...
Idioma en
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Disponible en línea Ficha bibliográfica