Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Java programming language
Computer software
14
Static analysis
10
Model checking
6
Program translators
6
Propositional variables
6
Alloy
4
Automatic programming
4
Bounded verifications
4
Code analysis
4
Compile time
4
Data structures
4
DynAlloy
4
Dynamic memory
4
Java-like programs
4
KodKod
4
Linked data structures
4
Memory management
4
Memory organizations
4
Memory usage
4
Program variables
4
Propositional formulas
4
Real time systems
4
Real-time specification for javas
4
SAT solvers
4
SAT-based bounded verification
4
SAT-based code analysis
4
Semi-automatics
4
Sequential programs
4
Time series analysis
4
-
1
-
2
-
3
-
4
-
5por Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos Gustavo, Frias, Marcelo
Publicado 2013 -
6
-
7
-
8
-
9
-
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18