Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Propositional formulas
12
Alloy
8
Alloy analyzers
6
Alloying
6
Alloys
6
Propositional variables
6
SAT solvers
6
SAT-based bounded verification
6
Static analysis
6
Cerium alloys
4
Code analysis
4
Data domains
4
Data structures
4
DynAlloy
4
Formal logic
4
Java programming language
4
KodKod
4
Linked data structures
4
Model checking
4
Parallel analysis
4
Program translators
4
SAT-based code analysis
4
SAT-solving
4
Sequential programs
4
Tools
4
Abstracting
2
Alloy calculus
2
Alloy languages
2
Analysis costs
2
Automated techniques
2
-
1por Rosner, Nicolás, Galeotti, Juan Pablo, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...Propositional formulas...”
Publicado 2010
-
2Materias: “...Propositional formulas...”
SER -
3Materias: “...Propositional formulas...”
-
4por 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 -
5Materias: “...Propositional formulas...”
-
6Materias: “...Propositional formulas...”
JOUR -
7Materias: “...Propositional formulas...”
-
8Materias: “...Propositional formulas...”
SER -
9por Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...Propositional formulas...”
Publicado 2013
-
10Materias: “...Propositional formulas...”
JOUR -
11por Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...Propositional formulas...”
Publicado 2010
-
12Materias: “...Propositional formulas...”
CONF