Category:形式手法

PlusCal

Unifying Theories of Programming

Communicating sequential processes

Guarded Command Language

Lustre (programming language)

TLA+

Assertion (software development)

Autoepistemic logic

Refinement (computing)

Specification and Description Language

Abstract interpretation

Resolution (logic)

B-Method

Petri net

Billiard-ball computer

Unification (computer science)

Mondex

Predicate transformer semantics

Formal specification

Process calculus

CICS

Invariant (computer science)

Temporal logic

Constraint logic programming

Concurrent constraint logic programming

Formal methods

Static program analysis