Similar to 静的コード解析

Specification and Description Language

Formal verification

Refinement (computing)

SPIN model checker

Z notation

Unifying Theories of Programming

Hoare logic

Behavior-driven development

Formal methods

B-Method

CICS

Communicating sequential processes

DPLL algorithm

Guarded Command Language

Lustre (programming language)

Planner (programming language)

PlusCal

TLA+

Vienna Development Method

Proof of concept

Typed lambda calculus

Gröbner basis

Formal specification

Formal system

Formal equivalence checking

Rewriting