New Survey Papers on Formal Methods

Two new survey papers offer complementary perspectives on the state of formal methods in 2020.

For future reference, we have collected and combined the bibliographies of the two papers into a single bibtex-file, which is available here.

Further overview papers are available on the page Choosing a formal method.

Author: Einar Broch Johnsen