Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Boolean functions
2
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
Program Verification
2
Propositional variables
SAT-based
2
SAT-based verification
2
Worst-case complexity
2
-
1Materias: “...Java-like programs verification...”
-
2Materias: “...Java-like programs verification...”
JOUR