Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Verification
24
Model checking
20
Semantics
13
Automata theory
12
Formal methods
12
Software verification
10
Specification languages
10
Specifications
10
Static analysis
10
Formal logic
9
Alloy analyzers
8
Alloys
8
Computer software
8
Data structures
8
Eclipse plug-in
8
Java programming language
8
Plug-ins
8
Propositional variables
8
Real time systems
8
Software engineering
8
Tools
8
Behavioral properties
6
Bounded verifications
6
Computer aided software engineering
6
Design
6
Formal languages
6
Program debugging
6
Program translators
6
Propositional formulas
6
SAT-based bounded verification
6
-
1Materias: “...Static verification...”
-
2Materias: “...Static verification...”
CONF -
3Materias: “...automated program verification...”
-
4Materias: “...automated program verification...”
JOUR -
5
-
6por Bogdanich Espina, VeraMaterias: “...SOFTWARE VERIFICATION...”
Publicado 2019
Tesis de grado publishedVersion -
7Materias: “...Bounded program verifications...”
-
8Materias: “...Bounded program verifications...”
SER -
9Publicado 2006Materias: “...Software verification...”
-
10
-
11Materias: “...Java-like programs verification...”
-
12Materias: “...Java-like programs verification...”
JOUR -
13Publicado 2015Materias: “...Verification...”
-
14por Ortiz de Zarate, Juan ManuelMaterias: “...KINSHIP VERIFICATION...”
Publicado 2016
Tesis de Grado -
15Materias: “...Verification...”
JOUR -
16por Ortiz de Zarate, Juan ManuelMaterias: “...KINSHIP VERIFICATION...”
Publicado 2017
Tesis de grado publishedVersion -
17Publicado 2000Materias: “...Verification...”
-
18Publicado 2017Materias: “...Forecast verification/skill...”
-
19Materias: “...Verification...”
JOUR -
20Materias: “...Forecast verification/skill...”
JOUR