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.

Journals publishing in this area

1

IEEE Transactions on Automatic Control

ISSN 0018-9286828 articles in this topic

474h-index

3.89Impact

26.9KArticles

1.5MCitations

2

IEEE Transactions on Computers

ISSN 0018-9340492 articles in this topic

259h-index

2.90Impact

14.5KArticles

480.4KCitations

3

Automatica

ISSN 0005-1098351 articles in this topic

397h-index

4.20Impact

15.6KArticles

1.1MCitations

4

ACM Computing Surveys

ISSN 0360-030090 articles in this topic

322h-index

17.05Impact

3.7KArticles

478.9KCitations