Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Alloy
4
Alloy analyzers
4
Alloying
Alloys
4
Propositional formulas
4
Alloy calculus
2
Alloy languages
2
Analysis costs
2
Automatic analysis
2
Calculations
2
Critical applications
2
Data domains
2
Experimental evaluation
2
First order logic
2
Formal logic
2
PVS
2
Parallel analysis
2
SAT
2
Semi-automatics
2
Software engineering
2
Static analysis
2
Theorem proving
2
Tools
2
Unsat-cores
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 analyzers...”
-
2por 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 -
3Materias: “...Alloy analyzers...”
-
4Materias: “...Alloy analyzers...”
JOUR