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