INIS
applications
100%
algorithms
100%
verification
75%
quality assurance
75%
validation
75%
foundations
75%
computer codes
62%
compacts
62%
complement
37%
mathematical models
37%
coverings
37%
engineering
37%
benchmarks
37%
detection
37%
reduction
24%
environment
24%
interactions
24%
explosions
24%
Keyphrases
Variability-intensive Systems
75%
Logic Model Checking
75%
Validation Algorithm
18%
System Verification
18%
Heterogeneous Types
18%
Compact Model
18%
Single System
15%
Parallel Composition
15%
Vacuity Detection
15%
Computer Science
Intensive System
75%
Transition System
75%
Feature Interaction
18%
Research Direction
18%
Linear Feature
15%
Parallel Composition
15%