Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Alloy
4
Code analysis
4
Data structures
4
DynAlloy
4
Java programming language
4
KodKod
4
Linked data structures
4
Model checking
4
Propositional formulas
4
Propositional variables
4
SAT-based bounded verification
4
SAT-based code analysis
Sequential programs
4
Static analysis
4
Alloying
2
Automated techniques
2
Cerium alloys
2
Computer software
2
Computer software selection and evaluation
2
Data handling
2
Execution trace
2
Orders of magnitude
2
Program translators
2
Prototype tools
2
SAT solvers
2
SAT-solving
2
Software testing
2
Symmetry-breaking
2
Tight bound
2
Tools
2
-
1por Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...SAT-based bounded verification...”
Publicado 2013
-
2Materias: “...SAT-based bounded verification...”
JOUR -
3por Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...SAT-based bounded verification...”
Publicado 2010
-
4Materias: “...SAT-based bounded verification...”
CONF