ScholarIQanswers from OpenAlex
Formal Methods in Verification
TopicLeading institutions, researchers & key papers
Formal Methods in Verification is a topic indexed in ScholarIQ from OpenAlex.
What is known about Formal Methods in Verification?
ScholarIQrecord summary
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.
How many works does Formal Methods in Verification have?
ScholarIQindexed works
Formal Methods in Verification has 44 works in the ScholarIQ index. The count is the OpenAlex total, not the number of papers listed on this page.
What is the OpenAlex record for Formal Methods in Verification?
ScholarIQopenalex
The OpenAlex for Formal Methods in Verification is on the source record.
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
Algebraic Decision Diagrams and Their Applications
R. Iris Bahar, E.A. Frohm, Charles M. Gaona, Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi
Nonconstructive tools for proving polynomial-time decidability
Michael R. Fellows, Michael A. Langston
Q-Learning for robust satisfaction of signal temporal logic specifications
Derya Aksaray, Austin Jones, Zhaodan Kong, Mac Schwager, Călin Belta
SpaTeL
Iman Haghighi, Austin Jones, Zhaodan Kong, Ezio Bartocci, Radu Gros, Călin Belta
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