Mathematics
Language
55%
Rewriting Logic
54%
Semantics
53%
Runtime Verification
42%
Monitoring
32%
Logic
31%
Rewriting
30%
Framework
29%
Programming Languages
25%
Safety
23%
Trace
22%
Linear Temporal Logic
19%
Formal Analysis
17%
Operational Semantics
16%
Equational Logic
16%
Program Verification
13%
Reachability
13%
Formal Semantics
13%
Program Analysis
13%
Correctness
10%
Regular Expressions
10%
Runtime Analysis
8%
Style
7%
Algebraic Specification
6%
Categorical
6%
Reasoning
6%
Deduction
6%
Policy
6%
Term
6%
Testing
6%
Compiler
6%
Context
6%
First-order Logic
6%
Morphism
5%
Engineering & Materials Science
Specifications
52%
Computer programming languages
39%
Monitoring
37%
Acoustic waves
20%
Algebra
12%
Testing
12%
Engines
11%
Ethereum
9%
Object oriented programming
8%
Trace analysis
8%
Blockchain
8%
Specification languages
7%
Context free grammars
6%
Virtual machine
6%
Units of measurement
6%
Formal languages
6%
Software engineering
5%
Automation
5%
Formal methods
5%
Flavors
5%
Experiments
5%
Interpolation
5%