Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Alloy analyzers
6
Alloys
6
Parallel analysis
Propositional formulas
4
SAT-solving
4
Abstracting
2
Alloy
2
Alloy Analyzer
2
Alloy languages
2
Alloying
2
Analysis costs
2
Analysis problems
2
Boolean satisfiability problems
2
Bounded verification
2
Bounded verifications
2
Cerium alloys
2
Contour followers
2
Data domains
2
Decision making
2
Experimental evaluation
2
First order logic
2
Model analysis
2
Novel techniques
2
Parallel SAT-solving
2
Parallelizations
2
Relational modeling
2
SAT
2
SAT solvers
2
Software engineering
2
Specification languages
2
-
1
-
2
-
3
-
4
-
5
-
6