Engineering & Materials Science
Specifications
100%
Model checking
59%
Testing
50%
Avionics
40%
Formal methods
39%
Formal specification
36%
Specification languages
28%
Biomedical equipment
26%
Software engineering
22%
Control systems
17%
Embedded systems
16%
Collision avoidance
16%
Automation
15%
Inspection
13%
Formal verification
13%
Fault detection
13%
Computer software maintenance
12%
Systems analysis
11%
Black-box testing
11%
Temporal logic
10%
Architectural design
10%
Communication
10%
Semantics
10%
Model structures
9%
Visibility
9%
Aircraft
9%
Computer systems
9%
Engineers
9%
Pumps
8%
Process control
8%
Costs
8%
Experiments
8%
Finite automata
8%
Visualization
8%
Observability
7%
Repair
7%
Large scale systems
7%
Static analysis
7%
Safety engineering
7%
Chemical analysis
7%
Computer programming languages
6%
Binary decision diagrams
6%
Thyristors
6%
Industry
6%
Encapsulation
6%
Computer hardware
6%
Mathematics
Requirements
32%
Software
22%
Safety
22%
Specification
19%
Coverage
18%
Requirements Specification
15%
Specification Languages
14%
Language
13%
Formal Specification
13%
Simulink
12%
Safety Analysis
12%
State Machine
12%
Embedded Systems
11%
Model-based
10%
Confidence
10%
Test Generation
10%
Prototyping
10%
Modeling Language
10%
Model
10%
Code Generation
9%
Certification
9%
Model Checking
9%
Conformance Testing
9%
Verification and Validation
8%
Formal Verification
8%
Prototype
7%
Data Flow
7%
Architecture
7%
Slicing
7%
Notation
7%
Traceability
7%
Hardware
6%
Abstraction
6%
Avionics
6%
Software Development
6%
Fault
6%
System Development
5%
Process Control
5%
Formal Languages
5%
Modeling
5%
Repair
5%
Reasoning
5%
Framework
5%
Safety-critical Systems
5%