Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Java programming language
8
Propositional variables
8
Static analysis
8
Bounded verifications
6
Computer software
6
Program translators
6
Propositional formulas
6
SAT-based bounded verification
6
Alloy
4
Code analysis
4
Data flow analysis
4
Data structures
4
DynAlloy
4
Empirical evaluations
4
Formal logic
4
KodKod
4
Linked data structures
4
Model checking
4
Plug-ins
4
Program debugging
4
SAT solvers
4
SAT-based code analysis
4
SAT-solving
4
Sequential programs
4
Software errors
4
Source codes
4
TACO
4
Tools
4
Verification
4
bounded verification
4
-
1Materias: “...Bounded verification...”
-
2por Rosner, N., Pombo, C.G.L., Aguirre, N., Jaoua, A., Mili, A., Frias, M.F., Rybalchenko A., Rybalchenko A., Cohen E.Materias: “...Bounded verification...”
SER -
3Publicado 2014Materias: “...bounded verification...”
-
4Materias: “...bounded verification...”
JOUR -
5Materias: “...Bounded verifications...”
-
6Materias: “...Bounded verifications...”
JOUR -
7
-
8Materias: “...bounded verification...”
CONF -
9Materias: “...SAT-based bounded verification...”
-
10Materias: “...SAT-based bounded verification...”
SER -
11por Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...SAT-based bounded verification...”
Publicado 2013
-
12Materias: “...SAT-based bounded verification...”
JOUR -
13por Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...SAT-based bounded verification...”
Publicado 2010
-
14Materias: “...SAT-based bounded verification...”
CONF