Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Data flow analysis
4
Empirical evaluations
Formal logic
4
Propositional variables
4
Boolean functions
2
Bounded program verifications
2
Bounded verifications
2
Computational complexity
2
Computer software
2
Dataflow analysis
2
Formal methods
2
Java programming language
2
Java-like programs
2
Java-like programs verification
2
Levels of abstraction
2
Logical representations
2
NP complete problems
2
Program Verification
2
Program translators
2
Propositional formulas
2
SAT solvers
2
SAT-based
2
SAT-based bounded verification
2
SAT-based verification
2
Verification
2
Verification tools
2
Worst-case complexity
2
-
1
-
2
-
3
-
4