Mostrando
1 - 2
Resultados de
2
Para Buscar '
Cuervo Parrino, B.
'
Saltar al contenido
BDU
3
Inicio
Su cuenta
Salir
Entrar
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Autor
Cuervo Parrino, B.
Mostrando
1 - 2
Resultados de
2
Para Buscar '
Cuervo Parrino, B.
'
, tiempo de consulta: 0.01s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
A dataflow analysis to improve SAT-based bounded program verification
por
Cuervo
Parrino
,
B
.
,
Galeotti, J.P.
,
Garbervetsky, D.
,
Frias, M.F.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
Agregar a favoritos
Guardado en:
2
TacoFlow: optimizing SAT program verification using dataflow analysis
por
Cuervo
Parrino
,
B
.
,
Galeotti, J.P.
,
Garbervetsky, D.
,
Frias, M.F.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
JOUR
Agregar a favoritos
Guardado en:
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
Data flow analysis
Empirical evaluations
Formal logic
Propositional variables
Boolean functions
Bounded program verifications
Bounded verifications
Computational complexity
Computer software
Dataflow analysis
Formal methods
Java programming language
Java-like programs
Java-like programs verification
Levels of abstraction
Logical representations
NP complete problems
Program Verification
Program translators
Propositional formulas
SAT solvers
SAT-based
SAT-based bounded verification
SAT-based verification
Verification
Verification tools
Worst-case complexity
Cargando...