Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Bounded verifications
Computer software
Java programming language
4
Boolean functions
2
Data flow analysis
2
Dataflow analysis
2
Empirical evaluations
2
Formal logic
2
Formal tools
2
Java program
2
Java-like programs
2
Java-like programs verification
2
Levels of abstraction
2
Plug-ins
2
Program Verification
2
Program debugging
2
Program translators
2
Propositional variables
2
SAT-based
2
SAT-based verification
2
Software errors
2
Source codes
2
Static analysis
2
TACO
2
Test case generation
2
Tools
2
Worst-case complexity
2
bounded verification
2
eclipse plug-in
2
static analysis
2
-
1Publicado 2014Materias: “...Java program...”
-
2Materias: “...Java program...”
JOUR -
3Materias: “...Java programming language...”
-
4Materias: “...Java programming language...”
JOUR