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. 23.3% 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%
- 10k per year above
- Top-10% rate
- 23.3% share of its works in the world top 10%
- Growth, 2013–17 → 2018–22
- -21% the tick is no change
Which countries lead Formal Methods in Verification research?
By volume, the United States and Germany publish the most (625 and 452 works in 2022–2025).
By volume, 2022–2025
- 1 United States 625 works
- 2 Germany 452 works
- 3 China 419 works
- 4 France 328 works
- 5 United Kingdom 240 works
- 6 Italy 208 works
- 7 Japan 128 works
- 8 Netherlands 120 works
- 9 India 103 works
- 10 Austria 94 works
How concentrated that is
The same countries as shares of everything the list above accounts for. A node where two countries do two thirds of the work and one spread evenly across twelve read alike as a ranking and not at all alike here.
Shares of the rows listed above, not of the whole node.
Which institutions lead Formal Methods in Verification research?
By volume in 2022–2025, Centre National de la Recherche Scientifique publishes the most Formal Methods in Verification research, followed by RWTH Aachen University and TU Wien.
By volume, 2022–2025
- 1 Centre National de la Recherche ScientifiqueFrance 47 works
- 2 RWTH Aachen UniversityGermany 35 works
- 3 TU WienAustria 34 works
- 4 Eindhoven University of TechnologyNetherlands 32 works
- 5 Technical University of MunichGermany 32 works
- 6 University of OxfordUnited Kingdom 31 works
- 7 Carnegie Mellon UniversityUnited States 25 works
- 8 University of BremenGermany 24 works
- 9 KTH Royal Institute of TechnologySweden 22 works
- 10 Shanghai Jiao Tong UniversityChina 22 works
Who are the leading researchers in Formal Methods in Verification?
The most-cited researchers publishing on Formal Methods in Verification include E. ̃Tassi, Wil M. P. van der Aalst and Vincent D. Blondel.
- 1 E. ̃Tassi Israel 6.9k citations
- 2 Wil M. P. van der Aalst Netherlands 5.5k citations
- 3 Vincent D. Blondel Belgium 4.4k citations
- 4 MengChu Zhou United States 4.4k citations
Ranked by citations received across their whole record, among researchers with at least three works on this topic.
Where is Formal Methods in Verification research done?
The largest centres of Formal Methods in Verification research in 2022–2025 are Beijing (China), Paris (France), Shanghai (China) and Munich (Germany). Among places with at least 20 works in it, it is an unusually large share of all research in Saarbrücken and Eindhoven.
Largest cities, 2022–2025
Where it is the local speciality
- SaarbrückenDE · 48.8 works40×
- EindhovenNL · 32.3 works20×
Location quotient: how much more of its research is in Formal Methods in Verification than the world average.
Where is the best place to study Formal Methods in Verification?
Among universities, judged by research, Institute of Science and Technology Austria, RWTH Aachen University and Technical University of Munich score highest, combining excellence, specialisation, size, growth and international reach. Research strength is one signal when choosing where to study; it does not measure teaching.
One dot per university in the table below. The upper left is the interesting corner: small places doing unusually strong work.
| # | University | Score | Top 10% | Specialisation | Works | Growth |
|---|---|---|---|---|---|---|
| 1 | Institute of Science and Technology AustriaAustria | 66.6 | 43.4% | 75.3× | 10 | -18.7% |
| 2 | RWTH Aachen UniversityGermany | 61.4 | 25.1% | 13.5× | 34 | -30.0% |
| 3 | Technical University of MunichGermany | 61.3 | 20.6% | 11.1× | 32 | +7.4% |
| 4 | University of TwenteNetherlands | 60.7 | 32.4% | 14.1× | 15 | -20.8% |
| 5 | TU WienAustria | 60.6 | 16.6% | 30.9× | 34 | +20.5% |
| 6 | KTH Royal Institute of TechnologySweden | 56.7 | 10.2% | 16.9× | 22 | +92.7% |
| 7 | Radboud University NijmegenNetherlands | 56.6 | 26.7% | 11.0× | 16 | -39.4% |
| 8 | Hong Kong University of Science and TechnologyHong Kong | 55.7 | 42.0% | 6.1× | 8 | +10.3% |
| 9 | Eindhoven University of TechnologyNetherlands | 54.5 | 14.6% | 24.7× | 32 | -40.2% |
| 10 | Macau University of Science and TechnologyMacau | 54.4 | 18.3% | 13.4× | 10 | — |
Universities only. Score blends excellence (30%), specialisation (25%), size (20%), growth (15%) and international reach (10%), 2015–2022; growth compares 2010–14 with 2015–19.
Is Formal Methods in Verification research growing?
Output in 2018–2022 was 21% lower than in 2013–2017, peaking in 2002.
The same series as a ribbon — one cell per year, darker for more. The line above answers how much; this answers when.
Which topics inside it are moving
Growth and decline on one axis around a shared zero. Two lists side by side hide the thing that matters: whether the growth dwarfs the decline, or the other way round.