Babcock University Research Portal

Formal Methods as Specification and Verification Tools towards Stable Software Solutions

Authors: ADEBAYO Adewale

Publication Type: Journal article

Journal: International Journal Of Computer

ISSN Number:

Downloads

Views

Abstract

Formal Methods could provide mathematical models for specifying and verifying designs- hardware or software. Early on, formal methods had more acceptance in hardware than software. Employing mathematical models in software to proof correctness or validate requirements reduces or eliminates errors at the early stages of development and also makes testing easier. Formal methods are powerful tools in introducing rigor that would enforce correctness in design specification and help build confidence in design. Indeed, formal method should be seriously considered in safety-critical systems where there is zero tolerance for failure. Formal methods have possibility of gaining magnitude because of the capability to formulate accurate solutions. This work proposes to look into the effects of mathematical models on software system designs from the perspective of formal methods. Trends, benefits, state of the art and future prospects of formal method are considered. Formal methods might require much in terms of implementation, skills and use but there is much benefit in terms of removing design ambiguity and inconsistency and at the same time improving correctness and accuracy.

Access to Documents

External Link
Download
Digital Object Identifier

Keywords

ADEBAYO,A. . (0000). Formal Methods as Specification and Verification Tools towards Stable Software Solutions, 27 (), 152-152.

ADEBAYO,A. . "Formal Methods as Specification and Verification Tools towards Stable Software Solutions" 27, no (), (0000): 152-152.

ADEBAYO,A. and . (0000). Formal Methods as Specification and Verification Tools towards Stable Software Solutions, 27 (), pp152-152.

ADEBAYOA, . Formal Methods as Specification and Verification Tools towards Stable Software Solutions. 0000, 27 ():152-152.

ADEBAYO,Adewale , . "Formal Methods as Specification and Verification Tools towards Stable Software Solutions", 27 . (0000) : 152-152.

A.Adewale , "Formal Methods as Specification and Verification Tools towards Stable Software Solutions" vol.27, no., pp. 152-152, 0000.

Access to Documents

Keywords

About Us

Admissions

Contact Us

Policies

ALUMNI

STUDENT POPULATION