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
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, N., Pombo, C.G.L., Aguirre, N., Jaoua, A., Mili, A., Frias, M.F., Rybalchenko A., Rybalchenko A., Cohen E.Materias: “...Alloy Analyzer...”
SER -
3por Rosner, Nicolás, Galeotti, Juan Pablo, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...Alloy analyzers...”
Publicado 2010
-
4Materias: “...Alloy analyzers...”
SER -
5Materias: “...Alloy analyzers...”
-
6por Rosner, N., Siddiqui, J.H., Aguirre, N., Khurshid, S., Frias, M.F., IEEE Computer Society; Association for Computing Machinery, Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Technical Council on Software Engineering (TCSE); ACM SIGART; NASAMaterias: “...Alloy analyzers...”
CONF