Formal Methods in Verification
Formal Methods in Verification is a research topic within Computational Theory and Mathematics. Science Explorer counts 43k research works in it since 1950. 9.9% of them reached the world's top 10% most cited for their field and year.
This cluster of papers revolves around formal methods in software verification and control, focusing on topics such as model checking, symbolic model checking, satisfiability modulo theories, temporal logic, hybrid systems, automata, safety verification, control barrier functions, runtime verification, and probabilistic systems.
- Model Checking
- Symbolic Model Checker
- Satisfiability Modulo Theories
- Temporal Logic
- Hybrid Systems
- Automata
- Safety Verification
- Control Barrier Functions
- Runtime Verification
- Probabilistic Systems
- Research works
- 43k fractional, since 1950
- In the world top 10%
- 4.3k per year above
- Top-10% rate
- 9.9% share of its works in the world top 10%
- Growth, 2018-21 → 2022-25
- -12% the tick is no change
- Largest producer
United States
24% of the 10 largest, 2022-now
Drawing this view