Category:形式手法

Temporal logic

Process calculus

Finite-state machine

Petri net

Resolution (logic)

Specification language

CICS

Formal verification

Invariant (computer science)

Loop invariant

Semi-Thue system

Concurrent constraint logic programming

Proof of concept

PlusCal

Formal equivalence checking

B-Method

Specification and Description Language

Formation rule

Unifying Theories of Programming

Communicating sequential processes

Guarded Command Language

Lustre (programming language)

TLA+

Constraint logic programming

Assertion (software development)

Autoepistemic logic

Planner (programming language)