Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
PVS
ALLOY CALCULUS
3
ANALISIS DE ESPECIFICACIONES DE SOFTWARE
3
CALCULO PARA ALLOY
3
DEMOSTRACION DE TEOREMAS INTERACTIVA
3
INTERACTIVE THEOREM PROVING
3
SAT-SOLVING
3
SPECIFICATION ANALYSIS
3
Alloy
2
Alloy analyzers
2
Alloy calculus
2
Alloying
2
Alloys
2
Automatic analysis
2
Calculations
2
Critical applications
2
Data domains
2
Formal logic
2
Propositional formulas
2
Semi-automatics
2
Theorem proving
2
Tools
2
Unsat-cores
2
Ciencias Informáticas
1
Especificaciones (Formales)
1
Invariantes
1
Métodos formales
1
RSL
1
SOFTWARE ENGINEERING
1
Socos
1
-
1
-
2por Dasso, Aristides, Funes, Ana, Montejano, Germán Antonio, Riesco, Daniel Eduardo, Uzal, Roberto
Publicado 2003Aportado por: SEDICI (UNLP)Objeto de conferencia -
3
-
4
-
5
-
6
-
7