People involved with formal methods.

See also

[edit]