Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Boolean functions
Bounded verifications
2
Computer software
2
Data flow analysis
2
Dataflow analysis
2
Empirical evaluations
2
Formal logic
2
Java programming language
2
Java-like programs
2
Java-like programs verification
2
Levels of abstraction
2
Program Verification
Propositional variables
2
SAT-based
2
SAT-based verification
2
Worst-case complexity
2
-
1
-
2