Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
SAT-solving
Alloy
2
Alloying
2
Automated test generation
2
Automated test generations
2
Bounded exhaustive testing
2
Korat
2
SAT solving
2
Software testing
2
Specifications
2
Transcoping
2
Alloy Analyzer
1
Alloy analyzers
1
Alloys
1
Analysis problems
1
Boolean satisfiability problems
1
Bounded verification
1
Bounded verifications
1
Computer programming languages
1
Computer systems programming
1
Decision making
1
Novel techniques
1
Object oriented programming
1
Parallel SAT-solving
1
Parallel analysis
1
Parallelizations
1
Specification languages
1
Verification
1
-
1
-
2
-
3