Engineering & Materials Science
Application programming interfaces (API)
14%
Bandwidth
6%
Bitcoin
7%
Computer programming languages
7%
Containers
6%
Costs
7%
Crowdsourcing
5%
Data storage equipment
8%
Data structures
7%
Dynamic analysis
12%
Engineers
10%
Engines
19%
Ethereum
10%
Experiments
5%
Explosions
14%
Fault detection
13%
Feedback
5%
Finite automata
7%
Formal methods
7%
Formal specification
8%
Formal verification
16%
Labeling
9%
Learning systems
5%
Linux
12%
Machine learning
13%
Medical problems
5%
Model checking
86%
Monitoring
6%
NASA
6%
Program processors
5%
Propulsion
7%
Redundancy
5%
Seed
5%
Semantics
13%
Software design
5%
Software engineering
5%
Software reliability
6%
Software testing
44%
Spacecraft
13%
Specification languages
6%
Specifications
31%
Static analysis
12%
Syntactics
10%
Temporal logic
6%
Testing
100%
Theorem proving
8%
Web browsers
11%
Mathematics
Abstraction
25%
Appeal
6%
Architecture
5%
Automatic Verification
5%
C++
6%
Concurrent
5%
Constraint Solving
11%
Container
6%
Counterexample
22%
Coverage
21%
Data Flow
6%
Debugging
13%
Distance Metric
9%
Dynamic Analysis
6%
Engine
6%
Experimental Results
6%
Fault
5%
File System
12%
Formal Verification
8%
Genetic Algorithm
5%
Language
9%
Learning
10%
Machine Learning
11%
Model
14%
Model Checking
50%
Monitoring
7%
NASA
7%
Nondeterminism
6%
Open Source
6%
Predicate
13%
Program Analysis
7%
Python
10%
Refinement
5%
Resources
7%
Ruler
7%
Runtime Verification
9%
Semantics
6%
Software
21%
Software Reliability
7%
Software System
6%
Software Testing
9%
Software Verification
11%
Specification
11%
Swarm
7%
Symbolic Execution
10%
Tableau
6%
Test Generation
19%
Testing
23%
Trace
6%
Transactions
7%