Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Java programming language
4
ALLOY
3
ANALISIS DE PROGRAMAS USANDO SAT
3
ANALISIS ESTATICO
3
Alloy
3
Computer software
3
DYNALLOY
3
DynAlloy
3
KODKOD
3
LANGUAGES
3
LENGUAJES
3
Model checking
3
Propositional variables
3
SAT-BASED CODE ANALYSIS
3
STATIC ANALYSIS
3
VERIFICACION
3
VERIFICATION
3
Code analysis
2
Data structures
2
Formal logic
2
Formal methods
2
KodKod
2
Linked data structures
2
Program translators
2
Propositional formulas
2
SAT solvers
2
SAT-based bounded verification
2
SAT-based code analysis
2
Sequential programs
2
Software engineering
2
-
1Materias: “...Computer programming languages...”
-
2Materias: “...Java programming language...”
-
3Materias: “...Java programming language...”
-
4
-
5
-
6
-
7Materias: “...Specification languages...”
-
8por Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...Java programming language...”
Publicado 2013
-
9por Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...Java programming language...”
Publicado 2010