News Help Institutional access

Search academic resources

Explore institutional catalogs, electronic resources, open-access journals, available collections, and academic access links.

Advanced search
What NODOVOX Discovery brings together: Institutional catalogs, electronic resources, open-access journals, available collections, and academic access links.
forensic medicine law journals Open Access full text

Results

2 results found.

Resource types: Print book E-book Article Journal Thesis Chapter
Academic search
Analysis of invariants for efficient bounded verification
Text / resource
Text / resource
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 English
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
EvoSpex: An evolutionary algorithm for learning postconditions (artifact)
Text / resource
Text / resource
EvoSpex: An evolutionary algorithm for learning postconditions (artifact)
Molina, Facundo et al · RI ITBA · 2022
"Having the expected behavior of software specified in a formal language can greatly improve the automation of software verification activities, since these need to contrast the intended behavior with the actual software...
Idioma English
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
NODITO
Asistencia de búsqueda académica
Te ayudo a buscar, encontrar y acceder a recursos académicos.
Consultar con NODITO
¿Qué necesitás hacer?
Consultas rápidas
NODITO Asistencia contextual NDX