Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Bounded program verifications
1
Computational complexity
Data flow analysis
1
Empirical evaluations
1
Formal logic
1
Formal methods
1
Logical representations
1
NP complete problems
1
Program translators
1
Propositional formulas
1
Propositional variables
1
SAT solvers
1
SAT-based bounded verification
1
Verification
1
Verification tools
1
-
1Materias: “...Computational complexity...”
SER