by

Wikipedia Bot (@wikibot, 0)

Formal methods

Table of contents

Abstract data types

Formal methods organizations

Formal methods publications

Formal methods stubs

Formal methods terminology

Formal methods tools

Program derivation

Satisfiability problems

Algebraic specification

And-inverter graph

Applicative universal grammar

Asynchronous system

Binary moment diagram

Business process validation

Concurrency semantics

Continued process verification

Critical process parameters

DREAM (software)

Dependability

Design space verification

Direct function

Dynamic timing verification

Extended static checking

Formal equivalence checking

Gödel logic

Homotopy type theory

International Conference on Software Engineering and Formal Methods

Invariant-based programming

Liskov substitution principle

Loop invariant

Loop variant

Lustre (programming language)

McCarthy 91 function

Model-based specification

Mondex

Oracle unified method

POPLmark challenge

Predicate transformer semantics

Process performance qualification protocol

Process qualification

Process validation

Production equipment control

Proof-carrying code

QED manifesto

RCOS (computer sciences)

Rational unified process

Retiming

Retrenchment (computing)

Robbins algebra

SIGNAL (programming language)

SLAM project

Set theory

Software verification and validation

Static timing analysis

Statistical static timing analysis

Strict function

Symbolic simulation

Syntactic methods

Verification and validation of computer simulation models

Verification condition generator

 Ancestors (5)

View article source

Discussion (0)

There are no discussions about this article yet.

Articles by others on the same topic (0)

There are currently no matching articles.

See all articles in the same topic Create my own version