# Formal Methods in Verification

**Type:** Topics  
**Canonical URL:** https://scholariq.org/topics/formal-methods-in-verification-2/

## Facts

| Field | Value |
| --- | --- |
| Citations | 1,210,592 |
| Description | 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. |
| Domain | Physical Sciences |
| Field | Computer Science |
| OpenAlex ID | https://openalex.org/T10142 |
| Works | 93,831 |

## Topic researchers

Showing 12 of 20.

- [Aviv Regev](https://scholariq.org/researchers/aviv-regev/)
- [Herbert A. Simon](https://scholariq.org/researchers/herbert-a-simon/)
- [Ilya Shmulevich](https://scholariq.org/researchers/ilya-shmulevich/)
- [M. Pieri](https://scholariq.org/researchers/m-pieri/)
- [Sebastian Thrun](https://scholariq.org/researchers/sebastian-thrun/)
- [Jinde Cao](https://scholariq.org/researchers/jinde-cao/)
- [Karl E. Weick](https://scholariq.org/researchers/karl-e-weick/)
- [Zidong Wang](https://scholariq.org/researchers/zidong-wang/)
- [Richard M. Murray](https://scholariq.org/researchers/richard-m-murray/)
- [L. Orsini](https://scholariq.org/researchers/l-orsini/)
- [M. Steinke](https://scholariq.org/researchers/m-steinke/)
- [Manfred Morari](https://scholariq.org/researchers/manfred-morari/)

---
Source: ScholarIQ — public research metadata, principally OpenAlex. See https://scholariq.org/sources/ for provenance and https://scholariq.org/methodology/ for what these figures mean.