Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
ALLOY
7
DYNALLOY
ANALISIS DE PROGRAMAS USANDO SAT
3
ANALISIS ESTATICO
3
KODKOD
3
LANGUAGES
3
LENGUAJES
3
SAT-BASED CODE ANALYSIS
3
STATIC ANALYSIS
3
VERIFICACION
3
VERIFICATION
3
AUTOMATIC TEST CASE GENERATION
2
BOUNDED VERIFICATION
2
DEMOSTRACION (SEMI) AUTOMATICA DE TEOREMAS
2
GENERACION AUTOMATICA DE CASOS DE TEST
2
INCREMEN- TAL SAT-SOLVING
2
JAVASPACES
2
JINI
2
METODOS FORMALES (RELACIONALES)
2
PARALLOY
2
PROGRAMACION PARALELA
2
SAT-SOLVING INCREMENTAL
2
SISTEMAS DISTRIBUIDOS
2
TACO
2
TESTING
2
VERIFICACION ACOTADA
2
VERIFICACION DE PROPIEDADES
2
-
1
-
2
-
3
-
4
-
5
-
6
-
7