Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Alloy analyzers
2
Alloys
2
Parallel analysis
2
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
Decision making
1
Experimental evaluation
1
First order logic
1
Novel techniques
1
Parallel SAT-solving
1
Parallelizations
1
Propositional formulas
1
SAT
1
SAT-solving
1
Software engineering
1
Specification languages
1
Static analysis
1
Verification
1
Buscar alternativas:
alloy » allow (Expander búsqueda)
"Alloy analyzers" » "Alloy analyzes" (Expander búsqueda), "Alloy analyzed" (Expander búsqueda), "Alloy analyze" (Expander búsqueda)
alloy » allow (Expander búsqueda)
"Alloy analyzers" » "Alloy analyzes" (Expander búsqueda), "Alloy analyzed" (Expander búsqueda), "Alloy analyze" (Expander búsqueda)
-
1por 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 -
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