Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Formal logic
Computational complexity
2
Data flow analysis
2
Empirical evaluations
2
Propositional variables
2
Alloy
1
Automation
1
Boolean functions
1
Bounded program verifications
1
Bounded verifications
1
Computer hardware description languages
1
Computer programming languages
1
Computer software
1
Dataflow analysis
1
DynAlloy
1
Dynamic logic
1
Dynamic programming
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
-
1Materias: “...Formal logic...”
SER -
2Materias: “...Formal logic...”
CONF -
3Materias: “...Formal logic...”
JOUR