Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
SAT-solving
Specifications
8
Alloy
6
Alloy analyzers
6
Alloys
6
Cerium alloys
6
Software testing
6
Abstracting
4
Alloy languages
4
Alloying
4
Atomic transition
4
Automated test generation
4
Automated test generations
4
Autopilot systems
4
Bounded exhaustive testing
4
Computer software
4
Contour followers
4
Dynamic logic
4
Example based
4
Korat
4
Linguistics
4
Operational languages
4
Parallel analysis
4
Propositional formulas
4
Requirements specifications
4
SAT solvers
4
SAT solving
4
Software engineering
4
Tabular expressions
4
Tabular notation
4
-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8Artículo publishedVersion
-
9Artículo publishedVersion
-
10
-
11
-
12
-
13
-
14
-
15
-
16