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.
VERIFICACION
VERIFICATION
8
ANALISIS ESTATICO
5
STATIC ANALYSIS
5
ALLOY
3
ANALISIS DE PROGRAMAS USANDO SAT
3
DYNALLOY
3
HIPOTESIS
3
KODKOD
3
LANGUAGES
3
LENGUAJES
3
SAT-BASED CODE ANALYSIS
3
BLOCKCHAIN
2
CONTRATOS INTELIGENTES
2
DETECTOR
2
MAQUINAS DE ESTADO
2
MONTE CARLO
2
SIMULACION
2
SIMULATION
2
SMART CONTRACTS
2
SOLIDITY
2
STATE MACHINES
2
VALIDACION
2
VALIDATION
2
VERFICATION
2
VERISO
2
VERISOL
2
ADOLESCENCIA
1
ALARM SYSTEMS
1
ARGENTINE ARN
1
-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11Artículo publishedVersion
-
12
-
13