Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Alloy
6
Code analysis
6
DynAlloy
6
SAT-based code analysis
6
Static analysis
6
Alloying
4
Cerium alloys
4
Data structures
4
Java programming language
4
KodKod
4
Linked data structures
4
Model checking
4
Propositional formulas
4
Propositional variables
4
SAT-based bounded verification
4
Sequential programs
4
Software testing
4
Symmetry-breaking
4
Tools
4
ALLOY
3
ANALISIS DE PROGRAMAS USANDO SAT
3
ANALISIS ESTATICO
3
DYNALLOY
3
KODKOD
3
LANGUAGES
3
LENGUAJES
3
SAT-BASED CODE ANALYSIS
3
STATIC ANALYSIS
3
VERIFICACION
3
VERIFICATION
3
-
1por Galeotti, Juan PabloMaterias: “...SAT-BASED CODE ANALYSIS...”
Publicado 2010
Tesis doctoral publishedVersion -
2por Galeotti, Juan PabloMaterias: “...SAT-BASED CODE ANALYSIS...”
Publicado 2010
Tesis doctoral publishedVersion -
3
-
4Materias: “...SAT-based code analysis...”
-
5por Rosner, N., Galeotti, J., Bermúdez, S., Blas, G.M., De Rosso, S.P., Pizzagalli, L., Zemín, L., Frias, M.F.Materias: “...SAT-based code analysis...”
CONF -
6por Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...SAT-based code analysis...”
Publicado 2013
-
7Materias: “...SAT-based code analysis...”
JOUR -
8por Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...SAT-based code analysis...”
Publicado 2010
-
9Materias: “...SAT-based code analysis...”
CONF