Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Java programming language
Static analysis
3
Alloy
2
Code analysis
2
Computer software
2
Data structures
2
DynAlloy
2
KodKod
2
Linked data structures
2
Model checking
2
Program translators
2
Propositional formulas
2
Propositional variables
2
SAT-based bounded verification
2
SAT-based code analysis
2
Sequential programs
2
Tools
2
Alloying
1
Automated techniques
1
Bounded verifications
1
Cerium alloys
1
Computer software selection and evaluation
1
Data handling
1
Execution trace
1
Formal tools
1
Java program
1
Orders of magnitude
1
Plug-ins
1
Program debugging
1
Prototype tools
1
-
1Materias: “...SAT-based code analysis...”
JOUR -
2Materias: “...SAT-based code analysis...”
CONF -
3Materias: “...Source codes...”
JOUR