Welcome to the InfoSci Platform
Reference Hub1
Formal Verification Methods

Formal Verification Methods

Copyright: © 2015 |Pages: 11
ISBN13: 9781466683150|ISBN10: 1466683155|EISBN13: 9781466683167
DOI: 10.4018/978-1-4666-8315-0.ch002
Cite Chapter Cite Chapter

MLA

Osman Hasan and Sofiène Tahar. "Formal Verification Methods." Formalized Probability Theory and Applications Using Theorem Proving, IGI Global, 2015, pp.10-20. https://doi.org/10.4018/978-1-4666-8315-0.ch002

APA

O. Hasan & S. Tahar (2015). Formal Verification Methods. IGI Global. https://doi.org/10.4018/978-1-4666-8315-0.ch002

Chicago

Osman Hasan and Sofiène Tahar. "Formal Verification Methods." In Formalized Probability Theory and Applications Using Theorem Proving. Hershey, PA: IGI Global, 2015. https://doi.org/10.4018/978-1-4666-8315-0.ch002

Export Reference

Mendeley
Favorite

Abstract

This chapter provides a brief introduction to the domain of formal methods (Boca, Bowen, & Siddiqi, 2009) and the most commonly used verification methods (i.e., theorem proving [Harrison, 2009] and model checking [Baier & Katoen, 2008]). Due to their inherent precision, formal verification methods are increasingly being used in modeling and verifying safety and financial-critical systems these days.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.