Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Alloy analyzers
Alloys
6
SAT-solving
Abstracting
4
Contour followers
4
Parallel analysis
4
Alloy Analyzer
2
Analysis problems
2
Boolean satisfiability problems
2
Bounded verification
2
Bounded verifications
2
Cerium alloys
2
Data domains
2
Decision making
2
Fast approximation
2
Model analysis
2
Novel techniques
2
Np-completeness
2
Parallel SAT-solving
2
Parallelizations
2
Propositional formulas
2
Relational modeling
2
SAT solvers
2
Specification languages
2
Time thresholds
2
Unsatisfiable core
2
Verification
2
Verification problems
2
-
1
-
2
-
3
-
4
-
5
-
6