Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Alloy analyzers
3
Alloys
3
Parallel analysis
3
Propositional formulas
2
SAT-solving
2
Abstracting
1
Alloy
1
Alloy Analyzer
1
Alloy languages
1
Alloying
1
Analysis costs
1
Analysis problems
1
Boolean satisfiability problems
1
Bounded verification
1
Bounded verifications
1
Cerium alloys
1
Contour followers
1
Data domains
1
Decision making
1
Experimental evaluation
1
First order logic
1
Model analysis
1
Novel techniques
1
Parallel SAT-solving
1
Parallelizations
1
Relational modeling
1
SAT
1
SAT solvers
1
Software engineering
1
Specification languages
1
Buscar alternativas:
analyzer » analyzed (Expander búsqueda), analyze (Expander búsqueda), analyzes (Expander búsqueda)
analyzer » analyzed (Expander búsqueda), analyze (Expander búsqueda), analyzes (Expander búsqueda)
-
1Materias: “...Alloy Analyzer...”
-
2por Rosner, Nicolás, Galeotti, Juan Pablo, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...Alloy analyzers...”
Publicado 2010
-
3Materias: “...Alloy analyzers...”