Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Specification languages
Alloy Analyzer
1
Alloy analyzers
1
Alloys
1
Analysis problems
1
Application programs
1
Boolean satisfiability problems
1
Bounded verification
1
Bounded verifications
1
Critical activities
1
Decision making
1
Different analysis techniques
1
Diverse techniques
1
Domestic appliances
1
Formal methods
1
Graphical interface
1
Heterogeneous software
1
Mobile phones
1
Novel techniques
1
Parallel SAT-solving
1
Parallel analysis
1
Parallelizations
1
SAT-solving
1
Software analysis
1
Software artifacts
1
Software engineering
1
Software failure
1
Specifications
1
Verification
1
-
1
-
2