Z - mrsekut-p

ZF公理系から取って「Z」らしい

ISO標準である

ISO/IEC 13568:2002

https://spivey.oriel.ox.ac.uk/corner/Z_Reference_Manual

https://ja.wikipedia.org/wiki/Z言語

/mrsekut-book-outoftarpit/28でVDMと並べて出てきた

モデルベース（またはステートベース）のアプローチは、システムの潜在的なモデル（多くの場合、ステートフルモデル）を構築し、そのモデルがどのように動作しなければならないかを指定します。これらのアプローチ（ZやVDMを含む）は、したがって、ステートフルな命令型言語ソリューションが要件を満たすためにどのように動作しなければならないかを指定するために使用できます

『形式手法入門』付録2.3

#プログラミング言語