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