Browse Definitions :
Definition

formal methods

Formal methods are the use of mathematical modelling for the specification, development and verification of systems in both software and electronic hardware. The formal methods are used to ensure these systems are developed without error.

The mathematical foundation underlying formal methods is used to help ensure the adequacy of the design to result in real world functionality, consistency and dependability in the end product.

Much as in other fields of engineering, formal methods applies mathematics to software and hardware engineering in order to add certainty to designing and testing of these systems. Formal methods are used to describe a systems functions prior to design with descriptive languages ensuring the functionality of the system. Formal methods may be used in development depending on the rigor with which the system is described. Formal specifications can function as a guide to requirements. In analysis, formal methods provide the description of functions by which the program can be verified.

The extent to which formal methods are implemented can vary. Sometimes, the full implementation of formal methods is deemed too costly except in the case of critically important systems and complex designs where errors can result in costly redesigns or refabrication. Often, formal methods are only used to describe the desired function and to guide development. This is considered level 0 or formal methods lite. When  formal methods are additionally used to verify functions, it is considered level 1. Level 2, the highest degree of formal methods, is when the full system is machine verified through all its functions.

Some examples of systems that might be fully specified under formal methods would be complex semi-conductors such as CPUs or GPUs or critical systems in software like that which is used in SCADA for control of power plants

This was last updated in November 2018

Continue Reading About formal methods

SearchNetworking
  • virtual network functions (VNFs)

    Virtual network functions (VNFs) are virtualized tasks formerly carried out by proprietary, dedicated hardware.

  • network functions virtualization (NFV)

    Network functions virtualization (NFV) is a network architecture model designed to virtualize network services that have ...

  • overlay network

    An overlay network is a virtual or logical network that is created on top of an existing physical network.

SearchSecurity
  • encryption

    Encryption is the method by which information is converted into secret code that hides the information's true meaning.

  • X.509 certificate

    An X.509 certificate is a digital certificate that uses the widely accepted international X.509 public key infrastructure (PKI) ...

  • directory traversal

    Directory traversal is a type of HTTP exploit in which a hacker uses the software on a web server to access data in a directory ...

SearchCIO
  • security audit

    A security audit is a systematic evaluation of the security of a company's information system by measuring how well it conforms ...

  • chief transformation officer (CTO)

    Chief transformation officer is an executive role, often in the C-suite, that focuses on bringing about change as well as growth ...

  • data latency

    Data latency is the time it takes for data packets to be stored or retrieved. In business intelligence (BI), data latency is how ...

SearchHRSoftware
SearchCustomerExperience
  • implementation

    Implementation is the execution or practice of a plan, a method or any design, idea, model, specification, standard or policy for...

  • first call resolution (FCR)

    First call resolution (FCR) is when customer service agents properly address a customer's needs the first time they call.

  • customer intelligence (CI)

    Customer intelligence (CI) is the process of collecting and analyzing detailed customer data from internal and external sources ...

Close