Formal Methods in Verification

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.

92,075

Publications

1,203,512

Citations

Loading papers...

Search by keywords

Filter by Type

Article (117,356)
Book Chapter (45,458)
Preprint (19,314)
Dissertation (5,526)
Book (1,962)

Filter by Open Access Type

Open Access (67,756)
Closed Access (124,466)

Filter by Authors

Rolf Drechsler (539)
Kim G. Larsen (537)
Thomas A. Henzinger (458)
Joost-Pieter Katoen (435)
Moshe Y. Vardi (412)

Filter by Topics

Formal Methods in Verification (192,222)
Logic, programming, and type systems (66,115)
Logic, Reasoning, and Knowledge (27,084)
Petri Nets in System Modeling (25,190)
Software Testing and Debugging Techniques (24,597)