Similar to 制約論理プログラミング

PlusCal

TLA+

Vienna Development Method

Proof of concept

Typed lambda calculus

Gröbner basis

Formal specification

Formal equivalence checking

Automated theorem proving

Boolean satisfiability problem

Specification language

Refinement (computing)

SPIN model checker

Static program analysis

Z notation

Abstract interpretation

Billiard-ball computer

Invariant (computer science)

Unifying Theories of Programming

Process calculus

Petri net

Hoare logic

Semi-Thue system

Mondex

Finite-state machine

Loop invariant

Artificial intelligence

Apple Intelligence