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