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 93,831 works in the ScholarIQ index. The count is the OpenAlex total, not the number of papers listed on this page.
How many citations does Formal Methods in Verification have?
ScholarIQcitation count
Formal Methods in Verification has 1,210,592 citations in the OpenAlex counts ScholarIQ stores.
What is the OpenAlex record for Formal Methods in Verification?
ScholarIQopenalex
The OpenAlex for Formal Methods in Verification is on the source record.
Who are the most-cited researchers behind Formal Methods in Verification?
ScholarIQtop researchers by citations
Where is Formal Methods in Verification research published, and who funds it?
ScholarIQvenues & funding sources
TOP JOURNALS
No journal data available yet.
TOP FUNDERS
National Science Foundation—
NIH—
Wellcome Trust—
European Research Council—
Funder breakdown is a member featureSign up free to unlock