PICO Portalanswers from OpenAlex
Formal Methods in Verification
TopicLeading institutions, researchers & key papers
Formal Methods in Verification is a topic indexed in PICO Portal from OpenAlex.
What is known about Formal Methods in Verification?
PICO Portalrecord 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?
PICO Portalindexed works
Formal Methods in Verification has 44 works in the PICO Portal 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?
PICO Portalopenalex
The OpenAlex for Formal Methods in Verification is on the source record.
What are the most-cited papers on Formal Methods in Verification?
PICO Portalmost 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?
PICO Portalvenues & 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?
PICO Portalopen access share
40%OPEN ACCESS