Mathematics
Abstraction
100%
Model Checking
66%
Refinement
49%
Compositional Verification
44%
Reasoning
36%
Invariant
32%
Safety
29%
Framework
25%
Quantifiers
24%
Game
24%
Counterexample
23%
Calculus
22%
Semantics
20%
Concurrent
20%
Abstract Interpretation
17%
Distributed Protocol
17%
Model
16%
Specification
15%
μ-calculus
15%
Logic
14%
Guidance
14%
Synthesis
13%
Explosion
13%
Reachability
12%
Thread
12%
Join
11%
Alternation
11%
Automata
9%
Costs
9%
Learning
9%
Rank Reduction
8%
Correctness
8%
Truth
8%
Verify
8%
Decompose
8%
Game Semantics
8%
Reachability Analysis
8%
Sound
8%
Lambek Calculus
8%
Interpolate
7%
Java
7%
Distributed Algorithms
7%
Generalization
7%
Trace
7%
Horizon
7%
Mining
7%
Transition Systems
7%
Firewall
6%
Locality
6%
Search Space
6%
Engineering & Materials Science
Model checking
91%
Specifications
41%
Surface mount technology
39%
Computability and decidability
31%
Network protocols
29%
Semantics
28%
Application programming interfaces (API)
16%
Formal verification
15%
Websites
14%
Automation
14%
Computer hardware
13%
Software defined networking
12%
Interpolation
12%
Explosions
12%
Static analysis
11%
Acoustic waves
11%
Costs
11%
Chemical analysis
11%
Syntactics
10%
Data structures
9%
Recursive functions
8%
Web crawler
8%
Decomposition
8%
Polynomials
8%
Fences
7%
Phase structure
7%
Data storage equipment
6%
Wide area networks
6%
Formal methods
6%
System theory
6%
Modeling languages
6%
Controllers
6%
Stars
5%
Chaos theory
5%
Machine learning
5%
Refining
5%
Flow control
5%
Temporal logic
5%
Parallel algorithms
5%
Switches
5%