Skip to content

Formal methods

3Citations
Citations of this article
233Readers
Mendeley users who have this article in their library.
Get full text

Abstract

Formal methods is a collection of techniques for improving the reliability of systems, based on mathematics and logics. While testing is still the most commonly used method for debugging and certifying software systems, newer techniques such as program verification and model checking are already in common use by major software houses. Tools for supporting these techniques are constantly being developed and improved, both in industry and in academia. This multidisciplinary research and development area gains a lot of attention, due to the rapidly growing number of critical roles that computer systems play. This chapter describes some of the main formal techniques, while presenting their advantages and limitations.

Cite

CITATION STYLE

APA

Peled, D. A. (2019). Formal methods. In Handbook of Software Engineering (pp. 193–222). Springer International Publishing. https://doi.org/10.1007/978-3-030-00262-6_5

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free