Upload Records Snowball Search Search OpenAlex
About the database ScholarIQanswers from OpenAlex
Formal Methods in Verification
TopicLeading institutions, researchers & key papers
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.
44
Works
IDs:OpenAlex
How has Formal Methods in Verification's publication output changed over time?
ScholarIQpublication output · 1997–2026
Output grew100% over the shown period — from 1 works in 1997 to 2 in 2026.
1
2
1
1
2
1
1
1
1
2
1997200220072011201520162018201920222026
What are the most-cited papers on Formal Methods in Verification?
ScholarIQmost cited works
Algebraic decision diagrams and their applications
R. Iris Bahar, E.A. Frohm, Charles M. Gaona, Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi
2002283 Citations
Algebraic Decision Diagrams and Their Applications
R. Iris Bahar, E.A. Frohm, Charles M. Gaona, Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi
S3845260. 1997261 Citations
Nonconstructive tools for proving polynomial-time decidability
Michael R. Fellows, Michael A. Langston
S118992489. 1988236 CitationsOPEN ACCESS
Q-Learning for robust satisfaction of signal temporal logic specifications
Derya Aksaray, Austin Jones, Zhaodan Kong, Mac Schwager, Călin Belta
2016161 Citations
SpaTeL
Iman Haghighi, Austin Jones, Zhaodan Kong, Ezio Bartocci, Radu Gros, Călin Belta
2015111 Citations
Where is Formal Methods in Verification research published, and who funds it?
ScholarIQvenues & funding sources
TOP JOURNALS
TOP FUNDERS
National Science Foundation—
NIH—
Wellcome Trust—
European Research Council—
Funder breakdown is a member featureSign up free to unlock
How much of the research on Formal Methods in Verification is open access?
ScholarIQopen access share
40%OPEN ACCESS
Gold
0%
Green
27%
Hybrid
0%
Bronze
13%
Closed
60%
Related on ScholarIQ
A formal basis for architectural connection
Paper
Formalizing architectural connection
Paper
Algebraic decision diagrams and their applications
Paper
The Jalapeño dynamic optimizing compiler for Java
Paper
Event-based feedback control for deadlock avoidance in flexible production systems
Paper
Algebraic Decision Diagrams and Their Applications
Paper