Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Alloy
6
Propositional formulas
6
Static analysis
Alloying
4
Code analysis
4
Data structures
4
DynAlloy
4
Java programming language
4
KodKod
4
Linked data structures
4
Model checking
4
Propositional variables
4
SAT-based bounded verification
4
SAT-based code analysis
4
Sequential programs
4
Alloy analyzers
2
Alloy languages
2
Alloys
2
Analysis costs
2
Automated techniques
2
Cerium alloys
2
Computer software
2
Computer software selection and evaluation
2
Data handling
2
Execution trace
2
Experimental evaluation
2
First order logic
2
Orders of magnitude
2
Parallel analysis
2
Program translators
2
-
1Materias: “...Propositional formulas...”
-
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: “...Propositional formulas...”
CONF -
3por Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...Propositional formulas...”
Publicado 2013
-
4Materias: “...Propositional formulas...”
JOUR -
5por Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...Propositional formulas...”
Publicado 2010
-
6Materias: “...Propositional formulas...”
CONF