Similar to Z言語

10

11 (number)

12 (number)

100

400 (number)

700 (number)

1000 (number)

1,000,000

Formal methods

PlusCal

TLA+

Vienna Development Method

Formal specification

Formal verification

Refinement (computing)

Static program analysis

Semantics (computer science)

Unifying Theories of Programming

Process calculus

Petri net

Hoare logic

Model checking

Lambda calculus

Eiffel (programming language)

Object Constraint Language

QVT

Object-oriented analysis and design