Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Alloy
5
Formal logic
4
Formal methods
4
Java programming language
4
Propositional variables
4
Computer programming languages
3
Computer software
3
DynAlloy
3
Model checking
3
Program translators
3
Propositional formulas
3
SAT solvers
3
SAT-based bounded verification
3
Software engineering
3
Specifications
3
Abstracting
2
Alloying
2
Automation
2
Code analysis
2
Computational complexity
2
Data flow analysis
2
Data structures
2
Dynamic logic
2
Empirical evaluations
2
KodKod
2
Linked data structures
2
SAT-based code analysis
2
SAT-solving
2
Sequential programs
2
Software testing
2
-
1Materias: “...Computer programming languages...”
-
2Materias: “...Computer programming languages...”
-
3Materias: “...Java-like programs verification...”
-
4Materias: “...Computer programming languages...”
-
5Materias: “...Java programming language...”
-
6por Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...Sequential programs...”
Publicado 2013
-
7Materias: “...Bounded program verifications...”
-
8Materias: “...Program debugging...”
-
9por Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...Sequential programs...”
Publicado 2010
-
10